Update via/from Guido - One thing I thought was interesting was this:
Not as such. The language would turn into Java-without-braces. However, you can use "argument annotations" (PEP 3107) and write a decorator or metaclass to enforce argument types at run-time. I suppose it would also be possible to write an extension to pychecker or pylint that used annotations to check call signatures.
Specifically of interest was the link to PEP 3107. I'm on the fence about the syntax, namely I have some sort of allergy to long/giant method signatures. This new system + decorators + ABCs could be either very complex, or very interesting.
Of course, that's the beauty of python: You don't actually need to use it the new features :)