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 -- [email protected] To unsubscribe send an email to [email protected] https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/[email protected]/message/7DRE464OVRN5EAA626N5TGRUMHD2OJNP/ Code of Conduct: http://python.org/psf/codeofconduct/
