Great read, thanks.
Recommended for anyone who wants a more in depth and programming focused exploration of these ideas. Also those animated graphics on the Futamura projections at the very end are awesome.
This is a classic write-up of a really important thing to anyone interested in compilers. It’s good to see it here. I only learned about it a year or so ago, despite a longstanding interest in the subject, and it changed my thoughts on how to architect language implementations.