-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 2/11/11 06:06 , 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?
Only up to a point. While most of the responses so far focus on the question from one direction, the other is epitomized by a Knuth quote: "Beware of bugs in the above code; I have only proved it correct, not tried it." - -- brandon s. allbery [linux,solaris,freebsd,perl] allbery.b@gmail.com system administrator [openafs,heimdal,too many hats] kf8nh -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk1XRLkACgkQIn7hlCsL25XbNgCfSifYHygWPmG6UJUZZzeVXZWd +fYAn1Tv1IJlt6H8R4t6TxSKX1h3xwQG =AdfB -----END PGP SIGNATURE-----