1. 6
  1.  

  2. 1

    We need some uncontroversial language extensions.

    I’m not sure any extensions are truly “uncontroversial” – but the giant list enabled here certainly is not!

    1. 1

      I’m not sure I understand your point. So you think the number of the extensions are controversial? Because the items in that list individually seem benign to me.

      1. 1

        No extension is completely benign, but especially FlexibleInstances, GADTs, DataKinds, PolyKinds are very nontrivial changes to the language.

      2. 1

        Yeah, I think that’s intended as a joke.

      3. 1

        Halfway tempted to suggest satire but I juuuust lean towards experimentation.