I can second this. I had a bug in an OCaml program with reversed lists. The type system was fine with it but it was only the tests that caught the problem.
-
-
-
I'm finding this sort of thing a lot with my current Idris efforts. I'm getting so much benefit from the types, but without a decent test suite I'd be in a right mess...
- 3 more replies
New conversation -
-
-
-
*popularizer
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.