Along with not modifying data, our Haskell functions usually don’t talk to the external world; we call these functions pure.
— Real World Haskell
— by Bryan O’Sullivan, Don Stewart, and John Goerzen
2010.12.22 Wednesday ACHK
Category Archives: Haskell
Lambda calculus 2
Prehistory
A few decades before modern computers were invented, the mathematician Alonzo Church developed a language called the lambda calculus. He intended it as a tool for investigating the foundations of mathematics. The first person to realize the practical connection between programming and the lambda calculus was John McCarthy, who created Lisp in 1958.
— Real World Haskell
— by Bryan O’Sullivan, Don Stewart, and John Goerzen
2010.12.01 Wednesday ACHK
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
Physics Town 