G'day all.
Quoting Max Rabkin max.rab...@gmail.com:
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
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 this
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
On Fri, Jan 16, 2009 at 7:46 AM, Dave Bayer ba...@cpw.math.columbia.edu 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
On Wed, 14 Jan 2009 04:37:33 +0100, Andrzej Jaworski
hims...@poczta.nom.pl 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
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
