Re: Writing Compilers in Functional Languages

Hello,


> I've written a few compilers and interpreters in procedural and
> object-oriented languages (in particular Java, C, C++, and C#), and
> these seem to be popular choices, but I would like to write my next
> one in a functional language. Every compiler text I've read assumes
> that you are writing your compiler in a procedural or OO language.
> Are there any books or online resources that instead focus on using
> functional languages as implementation languages? I'm considering
> using Haskell or Scheme, but I'm hoping that the resources won't
> assume a particular functional langauge.


there is the book "Modern Compiler Implementation in ML". You can find
further details on the web page
http://www.cs.princeton.edu/~appel/modern/ml/


However this book concentrates on ML. I have no experiences in Scheme
or Haskell, but can recommand SML for your task. It has a nice syntax
and especially constructor types make functional languages very handy
for compiler implementation. With OCaml and MLton there are ML systems
that generate very fast programs that are supposed to be nearly as fast
as C/C++.


Regards,


Christian

Return to the comp.compilers page.
Search the comp.compilers archives again.