<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, May 31, 2017 at 2:16 AM, Ivan Levkivskyi <span dir="ltr"><<a href="mailto:levkivskyi@gmail.com" target="_blank">levkivskyi@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><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></blockquote><div><br></div><div>So the title could become "<span class="gmail-im">Protocols: Static structural subtyping (duck typing)" -- long, but not record-setting.</span><br><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"></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></div></div></blockquote><div><br></div><div>Hm, the Abstract already spells that out. I suspect that many people react to the discussion without first reading the PEP itself (I do this myself :-). The only thing that could possibly be confusing about the abstract is that it claims to specify "static and runtime semantics" -- but that's reasonable, since the runtime semantics must somehow be specified even if they're minimal.<br></div></div><br>-- <br><div class="gmail_signature">--Guido van Rossum (<a href="http://python.org/%7Eguido" target="_blank">python.org/~guido</a>)</div>
</div></div>