On Sufficiently Smart Compilers: https://osa1.net/posts/2015-08-09-sufficiently-smart-compiler.html (staged execution, partial evaluation, and how modern CPUs resemble JITs)