On 4/10/06, Guido van Rossum <[EMAIL PROTECTED]> 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 _______________________________________________ Python-3000 mailing list Python-3000@python.org http://mail.python.org/mailman/listinfo/python-3000 Unsubscribe: http://mail.python.org/mailman/options/python-3000/archive%40mail-archive.com
