12 Feb
2011
12 Feb
'11
4:01 a.m.
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-mona... Regards, Heinrich Apfelmus -- http://apfelmus.nfshost.com