He's picked up the idea from a recent keynote talk at EuroPython that there's this thing called mypy that provides type annotations. http://thread.gmane.org/gmane.comp.python.ideas/28619 Stefan