Py-mypy

Optional static typing for Python

Mypy is an optional static type checker for Python. You can add type hints to your Python programs using the standard for type annotations introduced in Python 3.5 PEP 484, and use mypy to type check them statically. Find bugs in your programs without even running them!

WWW http//www.mypy-lang.org