RE: Learning Haskell and FP
Who are the audience for the books on Advanced Functional Programming? Academics with a theoretical CS background or someone with just a bit of understanding of FP? Ideally, I would like a course suited for someone who has completed a basic FP course.
-----Original Message----- From: Johan Jeuring [mailto:johanj@cs.uu.nl] Sent: Thursday, December 28, 2000 6:06 AM To: Doug Ransom Cc: haskell@haskell.org Subject: Re: Learning Haskell and FP
Is there a good textbook on Functional Programming which starts from a base point similar to "The craft of Functional Programming" but more advanced in terms of introducing necessary topics like Category theory, catamorphisms, monads, etc? I would find such a book very useful, especially if it concentrated on lazy functional programming.
You might want to have a look at the series of three books on Advanced Functional Programming, published in LNCS, as LNCS 925, 1129, and 1608. I would probably start with 925, which introduces monads, parser & pretty-printing combinators, monadic catamorphisms, constructor classes, etc.
-- Johan Jeuring
Who are the audience for the books on Advanced Functional Programming? Academics with a theoretical CS background or someone with just a bit of understanding of FP? Ideally, I would like a course suited for someone who has completed a basic FP course.
It varies a bit per school (book) and per article. But certainly LNCS 925 contains a number of chapters that should be interesting for someone with a general CS background and a basic FP course. I know it has been used in a couple of undergraduate courses on advanced functional programming. Topics, Authors, LNCS nr: - Monads, Wadler, 925 - Parser Combinators, Fokker, 925 - Constructor Classes, Jones, 925 - (Monadic) folds (or catamorphisms), Meijer & Jeuring, 925 - Space leaks and heap profiling, Runciman & Rojemo, 1129 - Algorithms and data structures, Okasaki, 1129 - Graph algorithms, Launchbury, 925 - User Interfaces, Carlsson & Hallgren, 925, Peyton Jones & Finne 1129 etc. Johan Jeuring http://www.cs.uu.nl/~johanj/
participants (2)
-
Doug Ransom -
Johan Jeuring