23 Sep
2007
23 Sep
'07
9:34 p.m.
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