Comment by amelius

> Query based compilers are all the rage: Rust, Swift, Kotlin, Haskell, and Clang all structure their compilers as queries.

I've never heard of this. It's a pity the article doesn't go into details.