1. 6
    Scrap All Your Typeclasses But One haskell h2.jaguarpaw.co.uk
    singpolyma avatar via singpolyma 10 months ago | cached | 5 comments

  1.  

  2. 1
    singpolyma avatar singpolyma 10 months ago | link

    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
      enobayram avatar enobayram 10 months ago | link

      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
        singpolyma avatar singpolyma 10 months ago | link

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

      2. 1
        lmm avatar lmm 10 months ago | link

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

      3. 1
        pushcx avatar pushcx 10 months ago | link

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