[willvarfar]

Somewhat related, I recently made a simple type annotation library and checker for Python 3...

https://github.com/williame/obiwan

Static type checking for Python yeah!