[Python-Dev] Question about PEP 484
rechen at google.com
Tue Jul 17 16:34:07 EDT 2018
Both Teddy (cc'd) and I would like to volunteer to help. We're excited
about the prospect of an informational pyi PEP.
On Tue, Jul 17, 2018 at 10:42 AM 'Adam Cataldo' via pytype <
pytype at googlegroups.com> wrote:
> Hi Sebastian,
> 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
> On Tue, Jul 17, 2018 at 9:58 AM Sebastian Rittau <srittau at rittau.biz>
>> On 17.07.2018 17:05, Guido van Rossum wrote:
>> > 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.
>> An informational PEP sounds about right to me. Such a PEP could also
>> include style recommendations like those from typeshed's CONTRIBUTING
>> file (https://github.com/python/typeshed/blob/master/CONTRIBUTING.md).
>> 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?
>> - Sebastian
>> Python-Dev mailing list
>> Python-Dev at python.org
> You received this message because you are subscribed to the Google Groups
> "pytype" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to pytype+unsubscribe at googlegroups.com.
> To post to this group, send email to pytype at googlegroups.com.
> To view this discussion on the web visit
> For more options, visit https://groups.google.com/d/optout.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Python-Dev