Languages » Python » Red Knot
Red Knot is the type checker that we are adding to Ruff.
Red Knot is implemented in Rust.
The type checker leans heavily on lazy, incremental computation, as provided by ‘salsa’.
Red Knot is the type checker that we are adding to Ruff.
Red Knot is implemented in Rust.
The type checker leans heavily on lazy, incremental computation, as provided by ‘salsa’.