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 ...

Currently in alpha, Pyrefly is a new open-source Python type checker developed by Meta in Rust for maximum performance. Inspired by tools like Pyre, Pyright, and MyPy, Pyrefly is intended to ...

Microsoft shipped TypeScript 5.8 with improved type checking in some scenarios, but thorny problems caused the dev team to delay related work to the next release.