4 ms·

A fairer comparison would be Haskell code plus a complete suite of tests.

• 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 ago
    Out 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 ago
      There'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...