I recently came across an announcement about the the Strongtalk system, which contains the first fully developed strong, static type system for Smalltalk. I wondered whether there might be useful ideas there for those looking into static typing for Python. http://www.cs.ucsb.edu/projects/strongtalk/pages/index.html Hamish Lawson