News for hackers. Stuff that matters.

A comment on Finding bugs in Haskell code by proving it. Parent comment

Re:Finding bugs in Haskell code by proving it by viraptor on Sunday December 10, 2017 @04:48PM (#15893673)
> there is not that much important haskell code out there.

In other words, there's at least some important Haskell code, and there's Haskell code important to someone. That's a good enough reason. Or are you saying we can't have nice things?

[ Parent | on HN ]
Re:Finding bugs in Haskell code by proving it by mbid on Sunday December 10, 2017 @06:09PM (#15893999)
Well, I assume this is at least partially funded by the public. Most side projects are not. While I appreciate that the engineering that went into this is non-trivial, I fail to see the scientific relevance.
[ Parent | on HN ]