[Haskell] Math behind Haskell
fruehr at willamette.edu
Sun Sep 23 20:16:34 EDT 2007
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
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 (?) - ...
More information about the Haskell