¶Languages » Python » ty
ty is the type checker that we are adding to Ruff.
ty is implemented in Rust.
The type checker leans heavily on lazy, incremental computation, as provided by salsa.
This page is also available via Gemini at gemini://dcreager.net/languages/python/ty/