Mypy can check more than simple Python types.
last article, I introduced Mypy, a package that enforces type checking in
Python programs. Python itself is, and always will remain, a
dynamically typed language. However, Python 3 supports "annotations", a
feature that allows you to attach an object to variables, function
parameters and function return values. These annotations are ignored by
Python itself, but they can be used by external tools.