<div dir="ltr">Hi Sebastian,<div><br>Of course, we'd be happy to work with you on this!  We just need to figure out which of us will drive this on our end (most likely Rebecca or Teddy). I'll huddle with the team and get back to you with an answer on who later today.</div><div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, Jul 17, 2018 at 9:58 AM Sebastian Rittau <<a href="mailto:srittau@rittau.biz">srittau@rittau.biz</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 17.07.2018 17:05, Guido van Rossum wrote:<br>
> This is a good point. I presume specifying this unambiguously would be <br>
> a huge amount of work, and it would mostly codify mypy's current <br>
> behavior. I don't think that's within the scope of PEP 484, but it <br>
> could well be done as a separate PEP (perhaps an informational one?). <br>
> I hope you understand that I am not volunteering.<br>
An informational PEP sounds about right to me. Such a PEP could also <br>
include style recommendations like those from typeshed's CONTRIBUTING <br>
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 <br>
someone from mypy's core team should take the lead on that. And if I <br>
understood this thread correctly, the pytype team is also willing to <br>
help out?<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>
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>