Mypy, Pytype, Pyright, and Pyre can help you keep your type-hinted Python code bug-free. Let’s see what each of these useful tools has to offer.

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

A new open source VS Code extension called pyright has been created as a Microsoft 'side project' to improve on current offerings for static type checking for the Python programming language.

One feature explicitly not planned is support for Python 2; Microsoft doesn’t intended to offer it. By contrast, Mypy, and many other code-linting and type-checking tools for Python, do offer it.

(And yes, that is the technical term.) For example, I can try this: >>> x = 1 >>> y = '1' >>> print(x+y) That code will result in an error, because Python doesn't know how to add integers and strings ...