Message 383675 - Python tracker

➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author	gvanrossum
Recipients	gvanrossum, kj
Date	2020-12-24.04:39:01
SpamBayes Score	-1.0
Marked as misclassified	Yes
Message-id	<1608784741.97.0.182789300552.issue41559@roundup.psfhosted.org>
In-reply-to

Content
Huge thanks! I think the next step is to port the essence to typing_extensions, which has to work for anything from 3.5 up (or maybe 3.6), including 3.10 and above. https://github.com/python/typing/tree/master/typing_extensions Honestly maybe we could just make ParamSpec an alias for TypeVar there, and make Concatenate an alias for Tuple? Because "work" just means that the syntax needs to be valid, the type checkers are responsible for using it. (We're still working on getting this to work for mypy.)

Huge thanks!

I think the next step is to port the essence to typing_extensions, which has to work for anything from 3.5 up (or maybe 3.6), *including* 3.10 and above.

https://github.com/python/typing/tree/master/typing_extensions

Honestly maybe we could just make ParamSpec an alias for TypeVar there, and make Concatenate an alias for Tuple?  Because "work" just means that the syntax needs to be valid, the type checkers are responsible for using it. (We're still working on getting this to work for mypy.)

History
Date	User	Action	Args
2020-12-24 04:39:02	gvanrossum	set	recipients: + gvanrossum, kj
2020-12-24 04:39:01	gvanrossum	set	messageid: <1608784741.97.0.182789300552.issue41559@roundup.psfhosted.org>
2020-12-24 04:39:01	gvanrossum	link	issue41559 messages
2020-12-24 04:39:01	gvanrossum	create