Type statically and validate with `mypy`

[takuti]

Better to introduce the type checker for development: http://mypy-lang.org/