[Types-sig] opt need a bit of static behaviour (was: Proposed Goals PEP)

Samuele Pedroni pedroni@inf.ethz.ch
Tue, 13 Mar 2001 14:27:04 +0100


> On the other hand, the thing that the speed-demons REALLY need is a way
> to freeze namespaces -- instance, class and module namespaces. If they
> "freeze" the types module namespace then they can be assured that the
> Integer type is the REAL integer type and they can optimize integer
> inputs as real integers.
Yes, it is the old problem that you can optimize e.g. range only if you're sure
range is what is supposed to be.