I disagree about the recommendation for Modern Compiler Design: I
found it to be a pretty good introduction to compiler technology, but
not functional programming with compilers, it's coverage was *very*
shallow.
By contrast, I can recommend both Compiling with Continuations (the
"standard" text on implementing compilers in functional languages,
using ML as an example), and The Implementation of Functional
Programming Languages [2].
This topic is covered pretty well in course material scattered
throughout the web, (lots of course with online pdf sets about
implementing functional compilers), but not in a comprehensive fashion
that talks about more complex aspects of compiling functional
languages. Implementing Functional Langauges: a tutorial, is also
excellent and worth a look.
kris
[1] http://www.amazon.com/Compiling-Continuations-Andrew-W-Appel/dp/052103311X
[2] http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/...
[3] http://research.microsoft.com/en-us/um/people/simonpj/Papers/pj-lester-book/
On Sun, Apr 7, 2013 at 4:36 AM, Sergey Bushnyak
Books about compilers is rare artifact, in comparison to some technology books. It is uncommon to see topics on compilers for functional languages.
I was surprised, when saw it in "Modern Compiler Design", which I've mentioned earlier. "Compiler design" series from Springer maybe reveal topics on FL in future as it become more popular. In new books about 1/5 of it is about FL, but very basic stuff.
Кnowledge mostly lies in research papers, occasional articles like "The Glasgow Haskell Compiler"[1] in AOSA from creators, and source code :)
[1] http://www.aosabook.org/en/ghc.html
-- Best regards, Sergey Bushnyak
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe