Skip to content

PEP 747: Add Acknowledgements section #4446

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

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

PEP 747: Add Acknowledgements section #4446

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
36 changes: 36 additions & 0 deletions peps/pep-0747.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -619,6 +619,42 @@ this behavior. The example above could more simply be written as the equivalent:
def checkcast(typx: TypeForm[T], value: object) -> T:


Acknowledgements
================

- David Foster drafted the initial version of this PEP, drafted the
mypy implementation of it, and shepherded it through the PEP process.

- Eric Traut provided tons of feedback throughout the design process,
drafted a major update to the original PEP text, and drafted the
pyright implementation of it.

- Jelle Zijlstra provided feedback especially on early drafts of the PEP
and drafted the ``typing_extensions`` implementation of the
``TypeExpr`` special form.

- Carl Meyer and Mehdi Drissi provided valuable feedback,
particularly on the question of whether to allow ``type`` to be assigned
to ``TypeForm`` or not.

- Cecil Curry (leycec) provided feedback from the perspective of
runtime type checkers and experimented with the in-progress ``TypeForm``
special form in a real-world runtime type checker (beartype).

- Jukka Lehtosalo provided feedback on the mypy implementation of TypeForm,
helping the checking algorithm run faster and use less memory.

- Michael H (mikeshardmind) proposed syntax ideas for matching specific kinds
of type forms.

- Paul Moore advocated for several changes to the PEP to make it more
approachable to typing novices.

- Tin Tvrtković (Tinche) and Salvo 'LtWorf' Tomaselli provided positive feedback
from the broader community at multiple times supporting that the PEP would
be useful.


Footnotes
=========

Expand Down