HaskellHaskell 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.
- The Glasgow Haskell Compiler.
- jhc a haskell compiler which aims to produce the most efficient programs possible via whole program analysis and other optimizations.
- Data Field Haskell extend Haskell with collection-oriented capabilities via data fields, a generic and flexible data type for indexed entities.
- Glasgow Parallel Haskell (GPH).
- pH: Parallel Haskell.
- Eager Haskell.
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