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

[Neil Mitchell]

Hi

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.

Thanks

Neil