[Haskell-cafe] Proving correctness

[Heinrich Apfelmus]

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!

http://projects.haskell.org/operational/Documentation.html#proof-of-the-monad-laws-sketch


Regards,
Heinrich Apfelmus

--
http://apfelmus.nfshost.com