<div dir="ltr">On 31 May 2017 at 00:58, Guido van Rossum <span dir="ltr"><<a href="mailto:guido@python.org" target="_blank">guido@python.org</a>></span> wrote:<br><div class="gmail_extra">[...]<br><br></div><div class="gmail_extra">Thank you for very detailed answers! I have practically nothing to add.<br></div><div class="gmail_extra">It seems to me that most of the Kevin's questions stem from unnecessary focus<br></div><div class="gmail_extra">on runtime type checking. Here are two ideas about how to fix this:<br><br></div><div class="gmail_extra">* Add the word "static" somewhere in the PEP title.<br></div><div class="gmail_extra">* 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.<br><br></div><div class="gmail_extra">What do you think?<br><br>--<br></div><div class="gmail_extra">Ivan<br><br><br></div></div>