Just a few days ago Guido proposed to adopt the Mypy syntax for type annotations in Python 3.5. There is a big discussion going on on the python-ideas mailing list about that and the general idea of having optional static typing in Python:
This is probably the best thing i've heard about python in the last 2 years. Guido's point are all 100% valid.
Python should take example on Typescript. It's light and smart. And that's enough to cover 99% of the cases.
Just let me specify that function foo's first parameter is an array of "stuff", and i'll be the happiest man. Leave the complicated cases for future versions.
https://mail.python.org/pipermail/python-ideas/2014-August/0...
https://mail.python.org/pipermail/python-ideas/2014-August/0...
Recommended reading for those interested in the topic.