Speaking of this, when is someone going to write an fp book that teaches
all the interesting stuff? Monads, advanced use of classes, advanced types
in general, exceptions, etc... [here's an idea: after comprehending the
book, the student should be able to follow the discussion on this mailing
list without difficulty]
In my opinion, such a book should assume the reader has already been
through Bird and Wadler or whatever, is familiar with the lambda calculus,
and has written substantial programs. Please, no more "introduction to fp"
books!
How about second editions of `Intro to FP'? Richard has revised Bird
and Wadler, which is now just Bird. It includes type classes and
monads, and should be in your bookstore round about now. -- P
-----------------------------------------------------------------------
Philip Wadler [EMAIL PROTECTED]
Bell Labs, Lucent Technologies http://www.cs.bell-labs.com/~wadler
600 Mountain Ave, room 2T-402 office: +1 908 582 4004
Murray Hill, NJ 07974-0636 fax: +1 908 582 5857
USA home: +1 908 626 9252
-----------------------------------------------------------------------
``There may, indeed, be other applications of the system
than its use as a logic.'' -- A. Church, 1932
-----------------------------------------------------------------------
