haskeldownvot5

6 ms·

1. 1.▲
   by haskeldownvot5 11y ago

   > Like deciding that people were being "dishonest" because they don't agree with you and argue for their opinion If they knew about the dangers of spaceleaks, then they were being dishonest when advertising laziness as a b
2. 2.▲
   by haskeldownvot5 11y ago

   > Nice username! Appropriate given the response any criticism of Haskell elicits. > strict pragma is not an admission of mistake anymore than any pragma and language extension is an admission of mistake. It's a feature, dammit.
3. 3.▲
   by haskeldownvot5 11y ago

   The Haskell community is by far the most abrasive and hostile to criticism of any programming language. You can get away with voicing trite complaints about too many parentheses in a thread on Lisp, but nearly any comment here critical of H
4. 4.▲
   by haskeldownvot5 11y ago

   Idris is strict by default and has a stronger type system than Haskell that supports dependent typing and in effect forced the hand of the GHC developers and the wider Haskell community by showing laziness, one of the most unpopular aspects