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 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

A swapped order probably appeals to most haskellers (by contrast I first learned ML). The real difference is that the Haskell books will focus on lazy languages. If your tastes are in implementing fast lazy languages using graph reduction then you may also be interested in [1]: although I haven't read all of it. I would say that the material in Appel's books and SPJ's books is fairly disjoint, and if you're interested in Haskell you should definitely focus on those. (However, Appel's book is also worth browsing if you're at a library, it can be read fairly quickly, the main "cool concepts" are in chapter two!) Kris [1] http://wiki.clean.cs.ru.nl/Functional_Programming_and_Parallel_Graph_Rewriti... On Sun, Apr 7, 2013 at 9:00 PM, Tommy Thorn wrote:

You beat me to it although I'd reverse the order of your list.

Also I wouldn't ignore the classic, http://www.amazon.com/Compilers-Principles-Techniques-Tools-Edition/dp/03214... but know that it has next to nothing useful specific to FP languages, and certainly not lazy languages.

Tommy

On Apr 7, 2013, at 07:40 , Kristopher Micinski wrote:

...

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 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

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe