Optional static typing for Python
Mypy is a static type checker for Python that helps developers catch type errors before running their code. By adding type hints following PEP 484 to Python programs, mypy analyzes the code without execution to warn when types are used incorrectly, supporting features like type inference, generics, union types, and structural subtyping. The project is built in Python and uses Sphinx for documentation, and includes mypyc, a compiler that converts typed Python to C extensions. Mypy is developed by the Python community and hosted under the python organization on GitHub.