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

[Greg Ewing]

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.

--
Greg