Skip to content

PEP 718: Add today's date to Post History and add a Change History section #5186

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gvanrossum merged 2 commits into from
Oct 21, 2026
+9 −1
Merged

PEP 718: Add today's date to Post History and add a Change History section #5186

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b7d6528
PEP 718: Add today's date to Post-History
gvanrossum Oct 21, 2026
29f0ce7
Add Change History section to PEP 718
gvanrossum Oct 21, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 9 additions & 1 deletion peps/pep-0718.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,8 @@ Topic: Typing
Created: 23-Jun-2023
Python-Version: 3.16
Post-History: `24-Jun-2023 <https://discuss.python.org/t/28457/>`__,
`24-Apr-2026 <https://discuss.python.org/t/28457/97>`__
`24-Apr-2026 <https://discuss.python.org/t/28457/97>`__,
`21-Oct-2026 <https://discuss.python.org/t/28457/156>`__

Abstract
--------
Expand Down Expand Up @@ -834,6 +835,13 @@ Acknowledgements
Thank you to Alex Waygood and Jelle Zijlstra for their feedback on this PEP and Guido
for some motivating examples.

Change History
--------------

* 24-Apr-2026: Added examples, rationale and binding rules.
* 21-Oct-2026: Addressed discussion feedback, clarified runtime and typing rules,
and added use cases, performance notes and rejected ideas.

Copyright
---------

Expand Down
Loading