Guido van Rossum is thinking about optional static typing for Python. Very interesting, because optional static typing on one hand preserves the highly dynamic nature of Python, while on the other hand offering type declaration as an option for optimization. You can get a great sense of what something like this could accomplish by trying out PyRex - which already offers something like statically typed Python today. Here's the original article.