[Python-3000] Adaptation and type declarations

[Jim Jewett]

On 4/10/06, Guido van Rossum <guido at python.org> wrote:
> Oops. I guess you were arguing *against* the former;
> I (and perhaps others) misread your mail as arguing *for*
> the "a:0<a<10" form, which isn't so strange since nobody
> proposed that before (unless I missed it).

> ... My confusion is why you would bring this up only to
> shoot it down.

Consider it rejected, as I had misunderstood you.

Reason for my initial confusion:

You had said there was some question of what kind of objects the type
markers should be.  I couldn't (and still can't) see any good reason
for them to be anything but a way to ensure [to some level] that the
argument is [in some way] appropriate.

Since you suggested there was still a question, I wanted to know what
you saw as the alternative.  The only alternative I had seen was a
more general pre-condition from DBC decorators.

I now see that your actual alternative was to have them be a sort of
annotation rather than a checker, and to leave the actual checking up
to a decorator.

-jJ