Experiment with mypy

[willianrampazzo]

From http://mypy-lang.org/:

"Mypy is an optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing. Mypy combines the expressive power and convenience of Python with a powerful type system and compile-time type checking. Mypy type checks standard Python programs; run them using any Python VM with basically no runtime overhead."

Probably the best course of action, before experimenting with it, would be to have an inspektor plugin.