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: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 ]