[Haskell-cafe] Re: [Haskell] Math behind Haskell

Neil Mitchell 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
haskell-annouce@ !)

>  * Lambda calculus - the basis of functional languages
>  * Category theory - where all these mysterious things like monads,
> arrows, and functors come from.

I'd add:

* Discrete Maths - booleans, relations, functions etc.

* Type theory

* Logic programming (Prolog)

* Semantics

Most of these are computer science courses, rather than maths ones.



More information about the Haskell-Cafe mailing list