Lectures

Literature

Slides

Be aware: the following schedule and the contents of the slides are currently still subject to change.

Date Slides Recommended reading Lecturer
Thu 5 Sep 0. Course introduction
1. FP? Haskell?
Chapters 1 and 2 Frank
Tue 10 Sep 2. Basics Chapters 4 (up to 4.4) and 3
Chapter 5 from the Lecture Notes
Frank
Thu 12 Sep 3. Lists and recursion Chapters 5 and 6 Frank
Tue 17 Sep 4. Higher-order functions
Writing applyAll as a fold
Example code from lecture
Chapter 7 and 4.5-4.6 Matthijs
Thu 19 Sep 5. Data types and type classes
Example code from lecture
Chapter 8 (until 8.6) Matthijs
Tue 24 Sep 6. Data structures
The Code for the point location example
Frank
Thu 26 Sep 7. Case studies
Q&A session
Chapters 8.6 Frank
Tue 1 Oct 11:00-13:00 Midterm exam
Thu 3 Oct 8. Project management, design and testing Chapter 11 of Real World Haskell Frank
Tue 8 Oct
9. Input and output
Example code from lecture
Chapter 10 Matthijs
Thu 10 Oct 10. Functors and monads
Example code from lecture
Chapter 12 (except 12.2) Matthijs
Tue 15 Oct 11. Laws and induction
Example proofs from lecture
Chapter 16 (up to 16.6)
Chapter 13 from the Lecture Notes
More about correctness (optional):
Matthijs
Thu 17 Oct 12. Lazy evaluation Chapter 15 Frank
Tue 22 Oct 13. More monads and applicatives
Example code from lecture
Chapter 12.2 Matthijs
Thu 24 Oct Guest lecture: Functional Programming in Swift Wouter Swierstra
Tue 29 Oct 14. Foldables and Traversables
Example code from lecture
Chapter 14 Matthijs
Thu 31 Oct
Q&A session Matthijs
Thu 7 Nov 13:30-16:30 Final exam