[Python-ideas] PEP 484 (Type Hints) -- first draft round

[Terry Reedy]

On 1/22/2015 6:19 PM, Guido van Rossum wrote:

> At the same time -- let me emphasize this one more time -- I hope there
> will never be a time in the future where type hints are mandatory or
> otherwise always expected to exist.

If the PEP does not already say this, it might be helpful to add it -- 
for those who read it.  Probably more important is the doc -- which gets 
read much more.

-- 
Terry Jan Reedy