mypy is a statical type checker for python. It needs additional annotations into the source code and we should use it. http://mypy-lang.org/