One of my favourite things about the question between compilers and interpreters is the Futamura projections [0] which is a way of using partial evaluation to c

One of my favourite things about the question between compilers and interpreters is the Futamura projections [0] which is a way of using partial evaluation to construct both things. It could be interesting if we see that getting used more explicit than something like GraalVM which one could argue is getting there. [1] [0]: http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html http://blog.sigfpe.com/2009/05/three-projections-of-doctor-f... [1]: https://news.ycombinator.com/item?id=18995651 https://news.ycombinator.com/item?id=18995651 (and the parent: https://news.ycombinator.com/item?id=18995498 https://news.ycombinator.com/item?id=18995498)