Finding bugs in Haskell code by proving it

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 ]