Hacker News Reader

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

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

Do you know how mature it is ?