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

2007-09-24 Thread Seth Gordon
I'm spending my Copious Free Time going through the Graham/Knuth/Patashnik _Concrete Mathematics_ textbook. This is the textbook used at one of Stanford's on-beyond-calculus math for CS majors classes. If nothing else, the discipline of doing the homework problems at the end of each chapter

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

2007-09-24 Thread Tomas Caithaml
Hi and thanks for that many replies! The haskell-cafe@ mailing list is more appropriate for messages such as this. haskell@ is just for announcements (it should be called haskell-annouce@ !) Sorry for misposting. I'd add: * Discrete Maths - booleans, relations, functions etc. * Type

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

2007-09-23 Thread 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

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

2007-09-23 Thread Cale Gibbard
On 23/09/2007, Neil Mitchell [EMAIL PROTECTED] wrote: 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 -

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

2007-09-23 Thread Derek Elkins
On Sun, 2007-09-23 at 20:03 -0400, Cale Gibbard wrote: On 23/09/2007, Neil Mitchell [EMAIL PROTECTED] wrote: 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