Functional Programming with Overloading and Higher-Order Polymorphism

May 1995Functional Programming with Overloading and Higher-Order PolymorphismFunctional Programming with Overloading and Higher-Order Polymorphism

A collection of notes about extensions to the Hindley/Milner type system, focusing on practical examples and culminating in a discussion of constructor classes and monad transformers.

Author: Mark P. Jones

Join Type Classes for courses and projects to get you started and make you an expert in FP with Haskell.