Python mypy
From wikinotes
mypy is a static type checking module for python-3.
it is built overtop of the builtin python typing module.
Documentation
official docs https://mypy.readthedocs.io/en/stable/
Usage
mypy . # typecheck all src/tests mypy file.py # typecheck file