[Types-sig] Proposed Goals PEP

[Tim Peters]

[Paul Prescod]
> ...
> Those are the wrong people to worry about. They say any type
> declarations as cruft anyhow. But there are some people who want to use
> this information in static ways. I had hoped not to get in their way!

Paul, you're free to let this paralyze your efforts again, but aren't you
tired of it yet <0.3 wink>?  Nobody in practice steps on another module's
globals by *accident*, so worrying about people stomping on the names in a
std typecheck module is worrying about actively hostile users.  Who cares?

If you must, fine, just *say* that in the presence of the "please check
types" flag, the behavior is undefined if any but the std typecheck module is
first on the path, or if anyone farts around with its contents.  Then in
*reality* typecheck.Integer etc would be as safe as reserved names, and
anyone going out of their way to break it deserves whatever they labored to
break.

imaginary-problems-don't-need-tech-solutions-ly y'rs  - tim