Ben Lynn's amazing compiler

[tommythorn]

Anyone interested in Reduceron probably already know about this (but I didn't): Ben Lynn is/has been bootstrapping a full Haskell compiler from 1st principle, using only a tiny graph reduction machine in C: Compiler. The code is on github Ben's compiler.

It would be interesting to benchmark the two; one would expect Reduceron to require (far?) fewer reductions, but there's likely straight forward ways to improve it.

[tommythorn]

Also relevant:

• Jon Tromp's work: https://tromp.github.io/
• HVM: https://github.com/HigherOrderCO/HVM