Haskell

Category Theory | Lisp 3

Haskell is very obviously a language built by mathematical logicians for mathematical logicians. Category theory lurks behind it in the same way that the lambda calculus lurks behind LISP.

— Eric S. Raymond

2010.03.12 Friday ACHK