[Haskell-cafe] Re: [Haskell] Math behind Haskell
Neil Mitchell
ndmitchell at gmail.com
Sun Sep 23 17:34:33 EDT 2007
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
More information about the Haskell-Cafe
mailing list