<div dir="ltr">Great Jelle! We look forward to working with you to.<br><br><div class="gmail_quote"><div dir="ltr">On Tue, Jul 17, 2018 at 10:41 AM Jelle Zijlstra <<a href="mailto:jelle.zijlstra@gmail.com">jelle.zijlstra@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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>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/typeshed/blob/master/CONTRIBUTING.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><br>
<br>
 - Sebastian<br>
<br>
_______________________________________________<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/mailman/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/mailman/options/python-dev/jelle.zijlstra%40gmail.com</a><br>
</blockquote></div><br></div></div>
_______________________________________________<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/mailman/listinfo/python-dev</a><br>
Unsubscribe: <a href="https://mail.python.org/mailman/options/python-dev/acataldo%40google.com" rel="noreferrer" target="_blank">https://mail.python.org/mailman/options/python-dev/acataldo%40google.com</a><br>
</blockquote></div></div>