> 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…
> 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,…
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…
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…
> 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…
> 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,…
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…
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…