Blog articles/Types

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

Type classes

• Type Classes: Not Quite Overloading"
• Haskell: the Basics of Type Classes

Further reading

• GADTs in the GHC User's guide