class: center, middle
Functional programming in Haskell
Lesson 5
<img src=”img/modus-create.png”/ height=”96”>
Clément Hurlin
https://github.com/smelc/tn-fp-haskell-course
Previously
- Typeclasses: open abstractions
deriving
: having the compiler generate code
- Phantom types: leveraging the type system for modeling the business’ model
In this course:
Advanced Type System
Monads
Type Applications
Type Families
Recap
TBD
Recommended reading
TBD