Ricky Teachey writes:

 > This isn't to say it should definitely be added to the language, that's a
 > tough hurdle. But boy would I have used it.

IIUC, Mathew's idea doesn't need to be added to *the* language (the
one defined by the Language Reference).  It needs to be added to the
languages used by type checkers.

So if you want this and know a type checker author, send them pizza! :-)

Steve

_______________________________________________
Python-ideas mailing list -- python-ideas@python.org
To unsubscribe send an email to python-ideas-le...@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/7DRE464OVRN5EAA626N5TGRUMHD2OJNP/
Code of Conduct: http://python.org/psf/codeofconduct/

Reply via email to