I like this idea of so-called "gradual typing":
http://lwn.net/SubscriberLink/627418/a09d6081e42b3bc0/

Sometimes in python, you can fix a lot of error-proneness (and make your code a bit more self-documenting) with just a little bit of type checking in a few places.  It doesn't mean you need an entirely statically typed language, but not wanting to declare all your types also doesn't mean all type declarations are bad.

Of course, the danger of an approach like this is that someone would end up writing a new python style guide that looks like the javascript style guide, with type annotations everywhere, missing the point entirely.