Pyrefly from Meta and Ty from Astral offer type-checking for Python codebases at the speed of Rust.

Mypy, a code-linting project created to allow static type checking in Python, has been improved to benefit larger, more complex projects and speed up parsing. One of Python‘s big attractions is ...