j: Next unread message
k: Previous unread message
j a: Jump to all threads
j l: Jump to MailingList overview
On Mon, May 15, 2017 at 6:30 PM Guido van Rossum email@example.com wrote:
This should be worked into a PEP, instead of living on as a bunch of python-ideas posts and blogs. ... Will someone please write a PEP?
If by "this" you mean adding to stdlib something like
@record class Point: x: int y: int
or something along the lines of my "modifiers" proposal ( https://mail.python.org/pipermail//python-ideas/2016-September/042360.html), then I think I would like to help writing such a PEP. But I thought these proposals were rejected.