Yeah, I'd brought up better TypeVar syntax at the Typing Summit [1]. At this point, it's probably best to wait and see what the Steering Council decides about the syntax changes for PEP 646 and for the Callable syntax PEP before proposing new TypeVar syntax.

[1]: Slides (starting from slide 18): https://drive.google.com/file/d/1x-qoDVY_OvLpIV1EwT7m3vm4HrgubHPG/view?usp=sharing

On Mon, Oct 25, 2021 at 6:00 AM <henbruas@gmail.com> wrote:

I think that's unclear. In the rejection of PEP637 they stated:
"The Steering Council is not particularly convinced it is of
significant benefit to the static type checking language, but even if it
were, at this point we’re reluctant to add general Python syntax that only
(or mostly) benefits the static typing language."
_______________________________________________
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/
Member address: gohanpra@gmail.com