I thought python had optional typing http://www.python.org/dev/peps/pep-3107/
I have wanted to play around with implementing some type checking, but none of my stuff is Python 3 unfortunately.
Do you know how mature it is ?
"The only way that annotations take on meaning is when they are interpreted by third-party libraries"
and
"Following from point 2, this PEP makes no attempt to introduce any kind of standard semantics, even for the built-in types. This work will be left to third-party libraries"
means the author really isn't serious about it. If you don't have a standard semantic you've got nothing useful.