diff --git a/peps/pep-0747.rst b/peps/pep-0747.rst index f5324df12a9..af779076a0b 100644 --- a/peps/pep-0747.rst +++ b/peps/pep-0747.rst @@ -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 =========