Re: [Haskell] Math behind Haskell

Mathematical logic would be a good thing to study if you haven't already, especially if you can take something as specific as intuitionistic / constructive / substructural logic. The Curry-Howard correspondence lurks underneath a lot of Haskell intuitions and techniques. -- Fritz On Sun 23 Sep 07, at 2:24 pm, Tomas Caithaml wrote:

Any suggestion what could be relevant? I came up with: * Lambda calculus - the basis of functional languages * Category theory - ... * Topology (?) - ...