Type-Checking a Million Lines in Under a Second

13 May 2027, 11:00 – 11:30 · Room 2A · Developer Experience · Talk (30 min)

Incremental type-checking is a graph problem wearing a compiler costume. We rebuilt ours around a demand-driven query engine and cut editor latency from 3 seconds to 40 milliseconds. This is the architecture, the wrong turns, and the benchmarks.

Speakers

Ravi Menon

Staff Engineer, Paperclip