Yes! And if you have types *and* tests it's even better... Much as I like types to help my understanding of a problem, there's always room for tests.https://twitter.com/KentBeck/status/1031940799213125632 …
-
-
Replying to @edwinbrady
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.
1 reply 0 retweets 1 like -
Replying to @cyocum
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...
1 reply 0 retweets 2 likes -
Replying to @edwinbrady @cyocum
Tests are a design tool, as well as a verification tool. Of course, the same is true of types...
1 reply 0 retweets 0 likes -
The question often is: what's the simplest way of demonstrating a requirement? Tests are really good at that.
1 reply 0 retweets 1 like
I'm more likely to use tests for that. I find types help my understanding of a problem, and tests help me convince myself that my understanding is correct.
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.