[Types-sig] Type inferencing

[Guido van Rossum]

> From: Paul Prescod <paul@prescod.net>
> 
> Point taken. I am only willing to do type inferencing up to a function
> level. After my "ML Experience" I am not willing to do it globally.
[example snipped]

I'm disappointed.  Jim Hugunin did global analysis on the pystone.py
module -- 250 lines containing 14 functions and one class with two
methods.  (He may actually have left out the class, but I'm pretty
sure he did everything else.)  He got a 1000x speedup, which I think
should be a pretty good motivator for those interested in (OPT).

--Guido van Rossum (home page: http://www.python.org/~guido/)