PEP 747: Add Acknowledgements section (#4446)

Author: davidfstr

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
 =========