On 31 May 2017 at 00:58, Guido van Rossum <guido@python.org> wrote:

Thank you for very detailed answers! I have practically nothing to add.
It seems to me that most of the Kevin's questions stem from unnecessary focus
on runtime type checking. Here are two ideas about how to fix this:

* Add the word "static" somewhere in the PEP title.
* Add a short note at the start mentioning this is an extension of the type system proposed in PEP 484 and recommending to read PEP 484 first.

What do you think?