You mentioned: > The lack of static type in Python is just ... painful :). However, now we have [mypy](http://www.mypy-lang.org/) and accompanying [PEP 484: Type Hints](https://www.python.org/dev/peps/pep-0484/), along with WIP [PEP 526: Syntax for Variable and Attribute Annotations](https://www.python.org/dev/peps/pep-0526/).
You mentioned:
However, now we have mypy and accompanying PEP 484: Type Hints, along with WIP PEP 526: Syntax for Variable and Attribute Annotations.