Great blog post on termination analysis in compilers: http://t.co/GcEUa9jxYe and scary to learn that while(1){} may be removed by a compiler
miniblog.
Related Posts
The author of rust-analyzer discussing how language features help or hinder fast IDEs.
If you allow `from m import *` you can't analyse files in isolation, and it's even harder in Rust.
Implementing interactive languages, and the tradeoffs of interpreters, JIT compilers, and AOT compilers:
Interpreters versus compilers as a spectrum, and a fun worked example of optimising Brainfuck: