I highly reccomend you read, "Localized type inference of atomic types in python...

kingkilr on Aug 14, 2011 | parent | context | favorite | on: John Carmack: Script Interpreters Considered Harmf...

I highly reccomend you read, "Localized type inference of atomic types in python" by Brett Cannon (2005), it shines a light on just how much this doesn't work.