Hi Folks,<div><br></div><div>I&#39;ve come across this a few times - &quot;In Haskell, once can prove the correctness of the code&quot; - Is this true?</div><div><br></div><div>I know that static typing and strong typing of Haskell eliminate a whole class of problems - is that related to the proving correctness?</div>
<div>Is it about Quickcheck - if so, how is it different from having test sutites in projects using mainstream languages?</div><div><br></div><div><br></div><div>Regards,</div><div>Kashyap</div>