On 8/15/06, <b class="gmail_sendername">Greg Ewing</b> <<a href="mailto:greg.ewing@canterbury.ac.nz">greg.ewing@canterbury.ac.nz</a>> wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Paul Prescod wrote:<br>> What if<br>> two different groups start fighting over the keyword "type" or "doc" or<br>> "lock"? Python already has a module system that allows you to use the
<br>> word "type" and me to use the word "type" without conflict<br><br>But, in general, performing this disambiguation requires<br>executing the module that is making the annotations. For<br>a processor that only wants to deal with the source, this
<br>is undesirable.</blockquote><div><br>This is true for every proposal we've described. Proposal 1 is:<br><br>Foo(int)<br>Bar(module.type1)<br><br>Proposal two is:<br><br>{"Foo": int,<br>"Bar": module.type1
}<br><br>In either case, "int" and "module.type1" can be rebound. To say otherwise is to change Python's evaluation model drastically.<br><br>>>> int = None<br>>>> float = file<br>>>>
<br><br>Once you accept Python's dynamism, it makes sense to accept it both for the annotation "key" as for the "value". If you can convince Guido and the rest of the Python-dev team to reject it, then you can reject it for both equally. So the issue is a red herring.
<br><br> Paul Prescod<br><br></div></div>