[Python-3000] Draft pre-PEP: function annotations

[Phillip J. Eby]

At 03:22 PM 8/14/2006 +1200, Greg Ewing wrote:
>Phillip J. Eby wrote:
>
>>Not at all.  A and B need only use overloadable functions, and the 
>>problem is trivially resolved by adding overloads.  The author of C can 
>>add an overload to "A" that will handle objects with 'next' attributes, 
>>or add one to "B" that handles tuples, or both.
>
>Phillip, you still haven't explained what to do if
>the code processing the annotations is in a separate
>program altogether, to which the user has no access
>in order to overload methods or perform other such
>modifications.

It can't be a "separate program altogether", since to get at the 
annotations, the  program must import the module that contains them.  Thus, 
the registration need only occur in some module imported by the module that 
uses the annotations.