Reminds me of Ghuloum's "An Incremental Approach to Compiler Construction" [1]. The tutorial [2], takes you through making a scheme compiler. It starts by compiling an integer to x86 assembly, using the output of gcc's assembly as reference. Then it goes through to tail calls and heap allocation, with a working compiler at every step. Tests at [3]. Mentioned in [4,5]. Gholoum went on to write Ikarus scheme which continued that work [6], but it never moved to 64 bit and the last release was in 2008.[1] http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf
[2] https://web.archive.org/web/20061217101846/http://www.cs.ind...
[3] https://web.archive.org/web/20090618030856/http://www.cs.ind...
[4] http://lambda-the-ultimate.org/node/1752
[5] https://news.ycombinator.com/item?id=21627615
[6] https://web.archive.org/web/20090928074841/http://ikarus-sch...
No comments yet.