This is the Moodle page of the Functional Language course 2023-2024.
The course aims at learning the basics of functional programming in F# as well as the core theory behind ML as the modern father of all functional languages. Software development in functional languages will be covered as well, learning hybrid functional-imperative programming.
Introduction to lambda calculus and the Hindley-Milner type system: the core of ML
Programming in F#: a real-world ML for .NET.
Advanced software design in a functional language: disjoint-unions and records vs objects; parametric polymorphism vs subtyping.
Functional bits in modern imperative languages: lambdas and closures in Java, C++ and others.
Students can contact me any time by mail at alvise.spano@unipd.it or alvise.spano@unive.it and we can arrange a Zoom meeting.
The course aims at learning the basics of functional programming in F# as well as the core theory behind ML as the modern father of all functional languages. Software development in functional languages will be covered as well, learning hybrid functional-imperative programming.
Introduction to lambda calculus and the Hindley-Milner type system: the core of ML
Programming in F#: a real-world ML for .NET.
Advanced software design in a functional language: disjoint-unions and records vs objects; parametric polymorphism vs subtyping.
Functional bits in modern imperative languages: lambdas and closures in Java, C++ and others.
Students can contact me any time by mail at alvise.spano@unipd.it or alvise.spano@unive.it and we can arrange a Zoom meeting.
- Docente: Alvise Spano'