On Wed, 21 Sept 2022 at 11:27, Michael Scott Cuthbert <cuthb...@mit.edu> wrote: > > [Michael Cuthbert:] > > > I'm rather surprised though that the typing advantages of the pep have > > > not been emphasized enough. > > [Chris Angelico] > > That would be because I personally don't use that kind of strict > > typing, so it's not something I'm really qualified to talk about. > > Would you like to write up a paragraph or two about it? I could > > incorporate it verbatim, if you like. > > Sure!
Cool, thanks for writing that up. > When the editor moves to a typed version, something like this would seem > reasonable: "Editor" could mean a person or a program. Which do you mean? I want to guess you mean the person making the edit, but it's not quite clear. Otherwise, looks good. ChrisA _______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-le...@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/GU7O3QAGDXH5MT5RMF2GNXPKBDUJLD4Z/ Code of Conduct: http://python.org/psf/codeofconduct/