Yesterday I spoke at about writing a codegerator targeting . My slides, links and code are now online:
Conversation
Thing that mainly stuck with me was seeing how compiling an AST to a stack-based IR was just about flattening a tree in a depth-first way. Loved the diagrams in the talk, they were super helpful!
2
3
Also loved the encouragement to learners about how even though this stuff can sometimes be hard, and goes pretty deep, getting a basic understanding achievable and very rewarding. Kind of how I've felt learning the type theory stuff!