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

[Samuele Pedroni]

Hi.

> 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.

regards.