Reading path #
This page lists the topics covered during each lecture. It will be updated after a lecture.
Advice. If you miss a lecture, make sure to read the sections that we covered (and do the related exercises) before the next lecture. Otherwise you may fall behind.
Warning. On this website, the material is grouped in thematic chapters, to ease your revisions for the exam. These chapters do not always reflect the order of the lectures.
Tuesday 03 March 2026 #
This course #
- Organization
- Material
- Reading path (this page)
- Evaluation
- Prerequisites
- Office hours
- Content
- Additional resources
Paradigms and languages #
Thursday 05 March 2026 #
Paradigms and languages #
Background #
Tuesday 10 March 2026 #
Syntax of Haskell #
Higher-order function #
- Anonymous function (in Haskell)
- Currying, part 1 (in Haskell)
Thursday 12 March 2026 #
Higher-order function #
- Currying, part 2 (in Haskell)
Control flow #
- Pattern matching (in Haskell)
- Boolean condition (in Haskell)
Tuesday 17 March 2026 #
Syntax of Haskell #
Control flow #
Thursday 19 March 2026 #
Genericity #
- Type variable (in Haskell)
- Bounds on type variables (in Haskell)
Higher-order function #
- A few higher-order functions (in Haskell)
Tuesday 24 March 2026 #
Control #
- The call stack
Recursion #
- Linear recursion, part 1
Thursday 26 March 2026 #
Recursion #
- Linear recursion, part 2
Higher-order function #
Recursion #
Composite type #
- Enumerated type in Haskell
- Product type in Haskell
- Sum type in Haskell
Tuesday 31 March 2026 #
Genericity #
- Generic type in Haskell
- Option type in Haskell
Higher-order function #
Functional patterns #
Syntax of Haskell #
Functional patterns #
- Functor in Haskell
Thursday 2 April 2026 #
Functional patterns #
- Monad in Haskell