It's probably big enough to make it a new PEP. On Wed, Jan 18, 2017 at 7:45 AM, Ivan Levkivskyi <levkivs...@gmail.com> wrote:
> On 18 January 2017 at 16:35, Guido van Rossum <gu...@python.org> wrote: > >> I'd rather wait until support for protocols has been added to PEP 484. >> > > Sorry for offtopic but do you think this should be an addition to PEP 484 > or a separate PEP? > I am interested in writing the specification (based on what Jukka proposed > on typing tracker) > and implementing it in mypy. > > -- > Ivan > > > -- --Guido van Rossum (python.org/~guido)
_______________________________________________ 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
