<div dir="ltr">Hi,<br><div><br>I have to admit I am not happy with separating the concepts of 'runtime' and 'static' types as implied by pep544. <br><br>I am currently exploring a type hint generator that produces hints out of types used in unit tests. It debugs the tests and collects the parameter types of call and return events. It ignores a type when a supertype is present. Failing isinstance/issubclass calls for protocols would hurt there. I understand that any type checker code that could provide isinstance functionality for pep544 protocols would rely on method signatures that my hint generator is just producing.<br><br>proof of concept implementation (writes method docstrings, no pep484 type hints yet):<br><a href="https://github.com/markuswissinger/ducktestpy">https://github.com/markuswissinger/ducktestpy</a><br><br>This is currently just some personal project that some of you will consider a strange idea. I just want to mention that this use case might not play well together with pep544.<br><br>Regards<br>Markus<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-06-05 23:59 GMT+02:00 Guido van Rossum <span dir="ltr"><<a href="mailto:guido@python.org" target="_blank">guido@python.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class="">On Fri, Jun 2, 2017 at 3:10 PM, 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:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span>On 1 June 2017 at 00:10, Guido van Rossum <span dir="ltr"><<a href="mailto:guido@python.org" target="_blank">guido@python.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote"><span>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></span><div>So the title could become "<span class="m_-1767015951983789765m_3704131403265721793m_8245854176987015075gmail-im">Protocols: Static structural subtyping (duck typing)" -- long, but not record-setting.</span><br></div></div></div></div></blockquote><div><br></div></span><div>I am thinking about "Protocols: Structural subtyping (static duck typing)". The reason is that subtyping is already a mostly static concept (in contrast to subclassing),<br>while duck typing is typically associated with the runtime behaviour.<br><br></div><div>This might seem minor, but this version of the title sounds much more naturally to me.<br></div></div></div></div></blockquote></span><div><br>+1 <br></div></div><span class=""><br>-- <br><div class="m_-1767015951983789765gmail_signature" data-smartmail="gmail_signature">--Guido van Rossum (<a href="http://python.org/~guido" target="_blank">python.org/~guido</a>)</div>
</span></div></div>
<br>______________________________<wbr>_________________<br>
Python-Dev mailing list<br>
<a href="mailto:Python-Dev@python.org">Python-Dev@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/python-dev" rel="noreferrer" target="_blank">https://mail.python.org/<wbr>mailman/listinfo/python-dev</a><br>
Unsubscribe: <a href="https://mail.python.org/mailman/options/python-dev/markus.wissinger%40gmail.com" rel="noreferrer" target="_blank">https://mail.python.org/<wbr>mailman/options/python-dev/<wbr>markus.wissinger%40gmail.com</a><br>
<br></blockquote></div><br></div>