Great Jelle! We look forward to working with you to. On Tue, Jul 17, 2018 at 10:41 AM Jelle Zijlstra <jelle.zijls...@gmail.com> wrote:
> > > 2018-07-17 9:55 GMT-07:00 Sebastian Rittau <srit...@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? > > I can also 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/jelle.zijlstra%40gmail.com >> > > _______________________________________________ > 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 >
_______________________________________________ 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
