Mypy is a static type checker for Python. From the intro in the MyPy docs. MyPy is a legitimate static type checker for Python, with similar capabilities and l

Mypy is a static type checker for Python. From the intro in the MyPy docs. MyPy is a legitimate static type checker for Python, with similar capabilities and limitations as other statically typed languages. There's an escape hatch to get you back to dynamic land (the `Any` type) and you can do naughty things at runtime if you use it (in the same way that you can in languages like C#), but using Mypy you can get decent type checking without actually running your program.