Get the latest tech news
Compilers: Incrementally and Extensibly (2024)
The materials for the course on compilers: built incrementally and fully in tagless-final style
At each iteration, we build a complete end-to-end compiler producing runnable and testable executables, for a (progressively larger) subset of the source language. Our approach, which readily permits adding attributes at will and analyzing variable usage, may remind some of algebraic effects. We cover all standard material for the compiler course, from parsing and type-checking to analyses, optimizations, calling conventions and assembly generation -- but in a quite non-traditional fashion.
Or read this on Hacker News