What's so hard about writing a type checker? A tour of ty - Carl Meyer
PyCon US · 46:33
TY, the Rust-based Python type checker from Astral (now part of OpenAI), achieves its speed less through micro-optimization than through radical laziness: a query-based, incremental architecture built on the Salsa lib...