Didn't know Guido thought of static type checking such a long time ago. I'm thinking now that one solution to two problems (this one, and slow python 3 adoptio

Didn't know Guido thought of static type checking such a long time ago. I'm thinking now that one solution to two problems (this one, and slow python 3 adoption) would have been to include optional static typing (like in dart) in python 3.