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
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
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
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
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
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