Well there is Cython, which is compatible with your every day python, but it might not be what you're looking for. Rpython has some type inference, but it's des

Well there is Cython, which is compatible with your every day python, but it might not be what you're looking for. Rpython has some type inference, but it's designed exclusively to be used to make interpreters; no standard libraries or anything. Personally I think the most amazing and practical (but possibly difficult) thing to do is to add global type inferencing (Hindley–Milner?) to (a fork of?) Jython. There's also python-like languages with static typing already like boo: http://boo.codehaus.org/ http://boo.codehaus.org/