Write You a Haskell: Building a modern functional compiler from first principles

Re:Write You a Haskell: Building a modern functional compile... by anaphor on Monday January 05, 2015 @10:51AM (#8839377)

I recommend Lisp In Small Pieces (LISP) by Christian Queinnec and Compiling with Continuations by Andrew Appel if you're interested in writing a functional compiler. Also:

http://matt.might.net/articles/cps-conversion/

http://lucacardelli.name/Papers/BasicTypechecking.pdf

http://library.readscheme.org/page1.html

https://research.microsoft.com/pubs/67083/spineless-tagless-...

http://www.pipeline.com/~hbaker1/CheneyMTA.html

[ Parent | on HN ]

Re:Write You a Haskell: Building a modern functional compile... by sonyandy on Monday January 05, 2015 @02:15PM (#8840532)

In addition to Compiling with Continuations, I found Compiling with Continuations, Continued by Andrew Kennedy very useful, as well.

http://research.microsoft.com/pubs/64044/compilingwithcontin...

[ Parent | on HN ]

Re:Write You a Haskell: Building a modern functional compile... by thu on Monday January 05, 2015 @10:55AM (#8839394)

For the interested, I have implemented Cardelli's paper here: https://github.com/noteed/mojito/blob/master/Language/Mojito...

[ Parent | on HN ]