About the type inference, some very efficients algorithms have been developed for Eiffel compiling. When I saw the thesis, i thought that the algorithms could be used for Python compiling. Some references are here : http://www.loria.fr/~colnet/publis/index-us.html -- Laurent Pierron