Thank you Stephan. Very fair points you brought. I will make sure to check the typing-sig. Sent from my iPhone
On 8 Feb 2022, at 6:00 PM, James H-B <gobot1234yt@gmail.com> wrote:
I really like the idea as a whole presented here. I have a few concerns here though: 1. The support for constraints overlaps with union which is undesireable, Jelle has previously suggested using TypeVar in (constraint1, constraint2, ...) which I think is much nicer. 2. The syntax for defining co/contravariance feels very clunky, have you seen https://github.com/python/typing/issues/813? I think this method of defining the variance is much neater. _______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-leave@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/2NVCKP... Code of Conduct: http://python.org/psf/codeofconduct/