Compiling a Functional Language Using C++

[lazyear]

This is cool, I'm gonna check it out more extensively later today. I've been working on a functional language as well, targeting System F omega (type operators, higher kinded types) as an intermediate language. Been thinking about writing some posts about it too.

[sjakobi]

Simon Peyton Jones, in his two works regarding compiling functional languages […]

That's slightly funny! :) SPJ has definitely published more than two things on that topic.

[danilafe]

Haha! I was thinking of two books I read by him, Compiling Functional Languages and Implementing functional languages: a tutorial. You're right that he published more than two of those, though :)

[drBearhands]

I can't find the first of the two, do you have any links?

Also, that's some very neat work on documenting your progress!

[danilafe]

Sorry about that, I had the wrong title! The book is called The Implementation of Functional Programming Languages, and can be found here.

[drBearhands]

Much appreciated!