DSLsofMath Week 1, Extra lecture on Haskell, part 1 (en)

This first part covers basic building blocks for functions in Haskell: identity, constant, functions composition, and shows how the parametrically polymorphic types "forces" the implementation in the right direction. It introduces the syntax for "lambda expressions" and how to introduce, and eliminate, local where-clauses.

The second part deals with product types and the third with sum types.

[PatrikJansson]

This part covers basic building blocks for functions in Haskell: identity, constant, functions composition, and shows how the parametrically polymorphic types "forces" the implementation in the right direction. It introduces the syntax for "lambda expressions" and how to introduce, and eliminate, local where-clauses.