Tonight: a final set of topics on functional languages
ML types
- user-defined datatypes, variant records, recursive types, polymorphic types, exceptions, streams, …
Haskell
- lazy evaluation
- purely side-effect free, infinite lists
- type classes for added flexibility in polymorphism