4 ms·

the solutions appears to take an order of magnitude more code than Haskell but Coq is also proving correctness so that seems expected

• bunderbunder 8y ago
  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...