[timmipetit]

Check out MyPy: http://www.mypy-lang.org/ It uses the Python 3 annotations syntax for type checking.

[bsaul]

MyPy is the only thing that would make me keep coding in python in the long term.

Do you know how mature it is ?