2 ms·
No suite of tests is complete enough to replace a proof. Unless the domain is finite and the tests exhaust all values in it.
by hiker 8y ago
No suite of tests is complete enough to replace a proof. Unless the domain is finite and the tests exhaust all values in it.
- melling 8y agoOut of curiosity, are there any studies that compare error rates among languages? How much is gained by going from say, Java to Haskell, or from Haskell to Coq?
- fiddlerwoaroof 8y agoThere's this, according to which Clojure does nearly as well as Haskell or Scala: https://jaxenter.com/programming-languages-defect-prone-report-138065.html https://jaxenter.com/programming-languages-defect-prone-repo...