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 nl on Sunday December 10, 2017 @05:16PM (#15893780)
A lot more people know Haskell than know Coq, so there's that.
[ Parent | on HN ]
Re:Finding bugs in Haskell code by proving it by mbid on Sunday December 10, 2017 @05:59PM (#15893956)
Well you can't use this approach to verify haskell code if you don't know coq.
[ Parent | on HN ]
Re:Finding bugs in Haskell code by proving it by chongli on Sunday December 10, 2017 @08:05PM (#15894481)
But you can write a library in Haskell, verify it with Coq, and publish it on Hackage for everybody to benefit from.
[ Parent | on HN ]
Re:Finding bugs in Haskell code by proving it by nl on Sunday December 10, 2017 @08:23PM (#15894556)
Indeed, and reading Coq errors should be a lot easier than having to work out how to write a Coq program.
[ Parent | on HN ]