Lectures

Literature

Slides

Date Slides Recommended reading
Thu 6 Sep 0. Course introduction
1. FP? Haskell?
Chapters 1 and 2
Tue 11 Sep 2. Basics Chapters 4 (up to 4.4) and 3
Chapter 5 from the Lecture Notes
Thu 13 Sep 3. Lists and recursion Chapters 5 and 6
Tue 18 Sep 4. Higher-order functions
Writing applyAll as a fold
Chapter 7 and 4.5-4.6
Thu 20 Sep 5. Data types and type classes Chapter 8 (until 8.6)
Tue 25 Sep 6. Data structures
Thu 27 Sep 7. Case studies
Q&A session
Chapters 8.6
Tue 2 Oct Midterm exam
Thu 4 Oct 8. Project management, design and testing Chapter 11 of Real World Haskell
Tue 9 Oct
In Ruppertgebouw Paars/Rood!
9. Input and output Chapter 10
Thu 11 Oct 10. Laws and induction Chapter 16 (up to 16.6)
Chapter 13 from the Lecture Notes
More about correctness (optional):
Tue 16 Oct 11. Lazy evaluation Chapter 15
Thu 18 Oct 12. Functors and monads Chapter 12 (except 12.2)
Tue 23 Oct 13. More monads and applicatives Chapter 12.2
Thu 25 Oct Guest lecture about Formal Verification by Victor Cacciari Miraldo Source code
Tue 30 Oct 14. Monadic utilities and traversables
14’. A web server in Haskell
Chapter 14.3
Source code
Thu 1 Nov
In Ruppertgebouw Blauw!
Q&A session
Presentations about semirings and parallelism
Source code for semirings
Thu 8 Nov Final exam