[Haskell-cafe] Proving correctness

C K Kashyap ckkashyap at gmail.com
Fri Feb 11 12:06:58 CET 2011

Hi Folks,

I've come across this a few times - "In Haskell, once can prove the
correctness of the code" - Is this true?

I know that static typing and strong typing of Haskell eliminate a whole
class of problems - is that related to the proving correctness?
Is it about Quickcheck - if so, how is it different from having test sutites
in projects using mainstream languages?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110211/14dcd2cb/attachment.htm>

More information about the Haskell-Cafe mailing list