3 ms·
You don't like the part where compiler authors are free to make efforts to improve the language that are clearly delineated as not part of the standard and easy
by chowells 9y ago
You don't like the part where compiler authors are free to make efforts to improve the language that are clearly delineated as not part of the standard and easy to not enable if they prove to not be a good idea in practice?
What are the alternatives? Completely discarding the language standard? Never making attempts to improve the language? Requiring all experiments to go through a standardization committee before real-world testing?
None of those strike me as obviously better.
- dmytrish 9y agoI am definitely not against languages extensions in general. I think that it's one of the unique features of Haskell that keep it stable and flexible at the same time. If I already have `ScopedTypeVariables` in scope for other valid reasons, I am happy to use it. It's just that I'd rather not enable it for tiny cosmetic improvement like this.
- lomnakkus 9y agoIf it makes you feel any better, I suspect that ScopedTypeVariables is basically how it should have worked in the first place. (The default behavior is pretty weird/surprising.)