Section outline

  • This is the moodle page of the Functional Language course 2022-2023.

    The course aims at learning the basics of functional programming in F# and Haskell 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.
    • Programming in Haskell: beyond the ML type system and programming with type classes.
    • 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++, Python and others.

    Reception

    Students can contact me any time by mail at alvise.spano@unipd.it or spano.alvise@gmail.com and we can arrange a Zoom meeting.