A more 'interesting' example on (maybe) currying:.Bad currying in C: this example just shows that it is not possible to implement currying in C, because the C language has function pointers, but does not have closures!.Example on passing 2 arguments through a pair.Example of lambda expressions (expressions evaluating to a function) in C++.With memory leaks (try compiling with ' -fanalyzer=address). Is much less readable, and clearly shows the possible issues more complex solution, with a more interesting output.A program solving the problem of the towers of Hanoi.GCD function inplemented according to the functional programming paradigm.Euclidean algorithm inplemented iteratively.Greatest Common Divisor (o test this code you will need a More on the fixed point combinators and Y ( italian version).Introduction to recursive data types ( in italian or in english).A small and incomplete introduction to Haskell ( in italian or in english).A small and incomplete introduction to lambda calculus ( in italian or in english).Short introduction to functional programming ( in italian or in english).Some basic definitions useful for understanding functional programming concepts ( in italian or in english).Introduction to Haskell's monadic side effects.Lists as recursive data types Haskell lists immutable lists vs 'traditional' lists.Experiments with the lambda calculus using lambda calculus as a programming language.Lambda calculus and recursion: fixed point combinators.Functional programming technique: closures.Something more on functions and their invocation.Functional programming technique: currying.Something about recursion and stack usage.Functional programming technique: recursion.Looking at the essence of the functional programming paradigm.Something more about functional programming in C and C++.Towers of Hanoi, again: a purely functional solution, in C++ and then in C.The GCD, implemented iteratively using the euclidean algorithm, or recursively.

Some examples about the functional programming paradigm:.This the current schedule for the course: Material, slides, and information needed to attend the courseįor the previous edition of the course, check the old website: year 2020/2021. Here, you will find (in a badly-organised form) all the This is the home page for the 'Functional Programming Techniques' course. Functional Programming Techniques Home Page Functional Programming Techniques

Lambda calculus exam questions