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 < pyt...@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 <srit...@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@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+unsubscr...@googlegroups.com. > To post to this group, send email to pyt...@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. >
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com