Static type checkers such as Mypy, Pyre, and Pytype can check type hints in Python source code.
- Mypy: Mypy is an optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing. Mypy combines the expressive power and convenience of Python with a powerful type system and compile-time type checking. Mypy type checks standard Python programs; run them using any Python VM with basically no runtime overhead.
- Pytype: Pytype checks and infers types for your Python code - without requiring type annotations.
- Pyre: Pyre is a fast, scalable type checker for large Python 3 codebases, designed to help improve code quality and development speed by flagging type errors interactively in your terminal or favorite editor.