<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2018-07-17 9:55 GMT-07:00 Sebastian Rittau <span dir="ltr"><<a href="mailto:srittau@rittau.biz" target="_blank">srittau@rittau.biz</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 17.07.2018 17:05, Guido van Rossum wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
This is a good point. I presume specifying this unambiguously would be a huge amount of work, and it would mostly codify mypy's current behavior. I don't think that's within the scope of PEP 484, but it could well be done as a separate PEP (perhaps an informational one?). I hope you understand that I am not volunteering.<br>
</blockquote></span>
An informational PEP sounds about right to me. Such a PEP could also include style recommendations like those from typeshed's CONTRIBUTING file (<a href="https://github.com/python/typeshed/blob/master/CONTRIBUTING.md" rel="noreferrer" target="_blank">https://github.com/python/typ<wbr>eshed/blob/master/CONTRIBUTING<wbr>.md</a>).<br>
<br>
I guess I just volunteered to help with such a PEP, although I feel that someone from mypy's core team should take the lead on that. And if I understood this thread correctly, the pytype team is also willing to help out?</blockquote><div>I can also help out. </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
<br>
 - Sebastian<br>
<br>
______________________________<wbr>_________________<br>
Python-Dev mailing list<br>
<a href="mailto:Python-Dev@python.org" target="_blank">Python-Dev@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/python-dev" rel="noreferrer" target="_blank">https://mail.python.org/mailma<wbr>n/listinfo/python-dev</a><br></span>
Unsubscribe: <a href="https://mail.python.org/mailman/options/python-dev/jelle.zijlstra%40gmail.com" rel="noreferrer" target="_blank">https://mail.python.org/mailma<wbr>n/options/python-dev/jelle.<wbr>zijlstra%40gmail.com</a><br>
</blockquote></div><br></div></div>