[Python-Dev] Question about PEP 484 (original) (raw)

Rebecca Chen rechen at google.com
Tue Jul 17 16:34:07 EDT 2018

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?utmmedium=email&utmsource=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>

More information about the Python-Dev mailing list