Mypy is an optional static type checker for Python. You can add type hints to your Python programs, and use mypy to type check them statically. Find bugs in your programs without even running them! You can mix dynamic and static typing in your programs. You can always fall back to dynamic typing when static typing is not convenient, such as for legacy code.
Can be loaded as a module or used as a command-line tool for manual checking. Can be integrated with text editors or IDEs to operate automatically.
Pyre is a fast, scalable type checker for large python codebases, designed to help improve code quality and development speed by flagging type errors interactively in your terminal or favorite editor. We follow the typing standards introduced in PEP484 and PEP526.