Blog articles/Types
[edit]
1 Types
- A type-based solution to the 'strings problem'
- Deducing code from types: filterM
- Generalised Algebraic Data Types, Phantom Types, and Dependent Types
- Functions, Types, Function Types, and Type Inference
- Building Datatypes in Haskell (part 1)
- Rank-2 polymorphism is a strange thing
- Scientific.Dimension: Type Arithmetic and Physical Units in Haskell
[edit]
1.1 Type classes
[edit]