-----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] allber...@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----- _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
