[Python-Dev] Question about PEP 484

[Rebecca Chen]

Hi Sebastian,

Both Teddy (cc'd) and I would like to volunteer to help. We're excited
about the prospect of an informational pyi PEP.

Best,
Rebecca

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
> today.
>
>
>
> On Tue, Jul 17, 2018 at 9:58 AM Sebastian Rittau <srittau at rittau.biz>
> wrote:
>
>> 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
>> https://mail.python.org/mailman/listinfo/python-dev
>> Unsubscribe:
>> https://mail.python.org/mailman/options/python-dev/acataldo%40google.com
>>
> --
> 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
> https://groups.google.com/d/msgid/pytype/CAKTwdc4Teidod9SnUy6Dp7BBBU21WTu%3DMQ7iPa%2BMvgLDshHcNg%40mail.gmail.com
> <https://groups.google.com/d/msgid/pytype/CAKTwdc4Teidod9SnUy6Dp7BBBU21WTu%3DMQ7iPa%2BMvgLDshHcNg%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
> For more options, visit https://groups.google.com/d/optout.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20180717/b587a155/attachment.html>