Haskell is the reference among pure lazy functional programming languages. It serves as a bench for much research and teaching in pure functional languages. In has an elaborate type system including both ad hoc polymorphism (operator overloading) and uniform polymorphism (universal type quantification, plus restricted existential quantification). It might be called a functional object-oriented language.

Page in this topic: O'Haskell  

Also linked from: Whitespace   Cayenne   Charity   Clean   Cryptol   Eden   Escher   hOp   Lambda VM   Linear Logic   Microkernel   Microkernel Debate   Monads 101   Parsing   PL 101   Relational   Scheme   Simon Peyton Jones   Type System   Vital   Yarrow