[Haskell-cafe] Proving correctness

Heinrich Apfelmus apfelmus at quantentunnel.de
Sat Feb 12 10:01:49 CET 2011

Ivan Lazar Miljenovic wrote:
> C K Kashyap wrote:
>> I've come across this a few times - "In Haskell, once can prove the
>> correctness of the code" - Is this true?
> I'm not quite sure where you got that...
> But since Haskell is pure, we can also do equational reasoning, etc.
> to help prove correctness.  Admittedly, I don't know how many people
> actually do so...

I did, I did!


Heinrich Apfelmus


More information about the Haskell-Cafe mailing list