Optional typing is the main goal of the mypy project: http://www.mypy-lang.org/