It's probably big enough to make it a new PEP. On Wed, Jan 18, 2017 at 7:45 AM, Ivan Levkivskyi <[email protected]> wrote:
> On 18 January 2017 at 16:35, Guido van Rossum <[email protected]> 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 [email protected] https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
