
Dec. 21, 2022
5:17 a.m.
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