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 <sergey.bushnyak@sigrlami.eu> wrote:
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