Hi, Am Freitag, dem 24.02.2023 um 18:04 +0000 schrieb Richard Eisenberg:
I think these questions A-F cover the range of categories Arnaud proposes, while addressing Joachim's and Simon M's desires to keep separate things separate.
I like these categories, they certainly add clarity! Can we include these category from my mail as well: G. To what extent is its effect new? Possible answers: 1 - Code is trivially and better written without the extension (e.g. a deprecated extension with a better mechanism around) 3 - The effect can be achieved without it, but very annoyingly (e.g. OverloadedStrings, most DerivingX extensions) 4 - The effect can be achieved without it, but needs renamer or typechecker context (e.g. RecordWildCards) 5 - There is no way to achieve the effect another way (e.g. Role Annotations) H. Is the extension local to the module? Probably quite binary: 1 - It has no effect beyond the current module. (most syntactic extensions) 5 – It’s use can affect users of the current module (most type extensions, e.g. GADTs, LinearTypes) Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/