
Sept. 21, 2022
8:17 a.m.
On Wed, 21 Sept 2022 at 11:27, Michael Scott Cuthbert <cuthbert@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