Astral (company behind ruff and uv) has released a type checker / language server, called ty. Essentially, it builds a model of possible types for each variable in your code based on type declarations and usage, then alerts you when you use a variable improperly based on the model. It is extremely quick. This would be a great tool for supplementing unit tests in ensuring code correctness.
I suggest adding ty to the pre-commit checks. There is not yet an official Github Action for the tool, but once there is we should add it to this codebase.
Astral (company behind
ruffanduv) has released a type checker / language server, called ty. Essentially, it builds a model of possible types for each variable in your code based on type declarations and usage, then alerts you when you use a variable improperly based on the model. It is extremely quick. This would be a great tool for supplementing unit tests in ensuring code correctness.I suggest adding
tyto the pre-commit checks. There is not yet an official Github Action for the tool, but once there is we should add it to this codebase.