Re: [Haskell] Re: Teach theory then Haskell as example

2009-01-17 Thread ajb
G'day all. Quoting Max Rabkin : Good to have a recommendation -- my future CT lecturer has a hard time recommending anything not written by Mac Lane. One more suggestion: "Conceptual Mathematics" by Lawvere and Schanuel is the gentlest introduction that you're going to find. Cheers, Andrew B

Re: [Haskell] Re: Teach theory then Haskell as example

2009-01-16 Thread Max Rabkin
On Fri, Jan 16, 2009 at 7:46 AM, Dave Bayer wrote: > As a mathematician, Haskell has renewed my interest in category theory. I > had thought one learns category theory most easily at age 20, because it > paints such an eviscerated view of flesh-and-blood subjects like geometry, > but at age 20 one

Re: [Haskell] Re: Teach theory then Haskell as example

2009-01-16 Thread Dave Bayer
On Jan 16, 2009, at 2:00 AM, Apfelmus, Heinrich wrote: Rodney Price wrote: So where do I as a practicing programmer and researcher go to learn all this stuff? ... In the long term, the aim of the Haskell Wikibook is to become a gentle introduction to "this stuff. It's nowhere near finis

[Haskell] Re: Teach theory then Haskell as example

2009-01-16 Thread Apfelmus, Heinrich
Rodney Price wrote: > So where do I as a practicing programmer and researcher go to learn all > this stuff? My background is theoretical physics (PhD, 1993) so I'm no > stranger to math. I've been using Haskell off and on since Haskell 1.4, > and while I see lots of theoretical discussions on thi

Re: [Haskell] Re: Teach theory then Haskell as example

2009-01-14 Thread Andrzej Jaworski
If such guys like you two have problem then Haskell is in a dire trouble! To my knowledge the best theoretical writing on functional programming was done around Categorical Machine and Caml. You need to speak Caml/ML to read Benjamin Pierce, Chris Okasaki or use Huet's course/software (http://p

[Haskell] Re: Teach theory then Haskell as example

2009-01-14 Thread Benjamin L . Russell
On Wed, 14 Jan 2009 04:37:33 +0100, "Andrzej Jaworski" wrote: >[...] > >Programmers learning Haskell should forget that they are programmers and try >to think mathematically. Along that line, then, for example, where would you place, say, _The Haskell Road to Logic, Maths and Programming_ (see