Haskell:FunWithTypes

lastmod 2020-10-24created 2020-10-241 edits

Haskell: Fun with Types

Polymorphism basics

Existentially qualified types

Advanced type classes

Phantom types

Generalized algebraic data types (GADT)

Datatype algebra

Type constructors & kinds

See also

• Haskell
• Haskell:Tutorials