News for hackers. Stuff that matters.
Re:Correctness – A paradigm for sustainable software develop... by tombert on Friday April 05, 2019 @03:09PM (#19585963)
I love Haskell, so I say this with all the love in the world, but the unpredictable nature of Haskell's performance actually can lead to incorrect code.

For example, due to laziness, file-streaming with lazy IO can end up with files being closed before you're done consuming. This is almost certainly never what you want, so Haskell's system actually hurt correctness.

In that particular case it's easy to get around if you use the Conduit library, but that's just one example.

Re:Correctness – A paradigm for sustainable software develop... by yakshaving_jgt on Friday April 05, 2019 @03:44PM (#19586275)
I appreciate criticism like that, because it's helpful and valid. I happen to be aware of this and I do use Conduit often, but it certainly bears talking about. Haskell isn't a panacea, but I absolutely do not believe that all technologies are ultimately equivalent.
Re:Correctness – A paradigm for sustainable software develop... by tombert on Friday April 05, 2019 @04:37PM (#19586776)
Oh, definitely don't disagree with you there (PG's article about the "Blub" language is one of my favorites); I definitely think that Haskell is one of the least-bad languages out there overall.

I will say that personally I have become somewhat enamored with Idris, but I think that most of the people that work on it claim that it is not production ready, and I've not used it for anything but personal projects. Still, I love that it gives me everything that I like about Haskell, and it's young enough to not have many of the drawbacks, at least not yet.

Re:Correctness – A paradigm for sustainable software develop... by tathougies on Friday April 05, 2019 @07:25PM (#19587998)
File streaming with lazy IO is widely considered an anti pattern though. So while your criticism was true in the past, we have very good and performant alternatives today