A quite interesting document about a static type checker for Python. It would be nice if something like that would make its way into Python - the possibilities for optimizations by the compiler would be significantly better.
I found the original article at Lambda the Ultimate.