News for hackers. Stuff that matters.

A comment on The Four Flaws of Haskell. Parent comment

Re:The Four Flaws of Haskell by DanWaterworth on Monday August 15, 2016 @10:03AM (#12290478)
That's not anywhere near a complete list of deprecated extensions and there are others that have been completely removed from the language [1]. It's unfortunate that ScopedTypeVariables hasn't been standardised, but there hasn't been a new standard since 2010, so it's not hugely surprising.

https://ghc.haskell.org/trac/ghc/wiki/LanguagePragmaHistory

[ Parent | on HN ]
Re:The Four Flaws of Haskell by taylorfausak on Monday August 15, 2016 @10:10AM (#12290519)
Thanks for that link! I haven't seen that wiki page before. Even so, only 4 extensions have been removed. I know others are de facto deprecated, like Rank2Types.

I picked scoped type variables as an example because it's been in GHC since version 6.4. That was released in March 2005, so it had plenty of time to make it into the Haskell2010 language standard.

[ Parent | on HN ]
Re:The Four Flaws of Haskell by DanWaterworth on Monday August 15, 2016 @10:33AM (#12290672)
I'd expect either Rank2Types or RankNTypes to be included in Haskell', you may be thinking of ImpredicativeTypes.

Wow, I did not realize ScopedTypeVariables had been around for so long.

[ Parent | on HN ]
Re:The Four Flaws of Haskell by taylorfausak on Monday August 15, 2016 @10:44AM (#12290747)
Sorry, I meant that you pretty much always want RankNTypes instead of Rank2Types. My fault for not specifying.
[ Parent | on HN ]