[Haskell-cafe] Re: [Haskell] Math behind Haskell
ndmitchell at gmail.com
Sun Sep 23 17:34:33 EDT 2007
The haskell-cafe@ mailing list is more appropriate for messages such
as this. haskell@ is just for announcements (it should be called
> * Lambda calculus - the basis of functional languages
> * Category theory - where all these mysterious things like monads,
> arrows, and functors come from.
* Discrete Maths - booleans, relations, functions etc.
* Type theory
* Logic programming (Prolog)
Most of these are computer science courses, rather than maths ones.
More information about the Haskell-Cafe