This is an old revision of the document!
A strongly typed, purely functional programming language.
Haskell Wiki Functors and Monads
A multi-paradigm programming language that supports procedural, functional and object oriented.
Steel Bank Common Lisp