3 ms·
This might sound good to a TDD practitioner, but I'd suggest that the value of tests is that they independently verify an implementation. Couple them directly a
by vnorilo 7y ago
This might sound good to a TDD practitioner, but I'd suggest that the value of tests is that they independently verify an implementation. Couple them directly and soon you will be writing tests on your tests.
OTOH, saying "this must be true" and letting the compiler work it out sounds a lot like logic programming.
- postalrat 7y agoI've felt testing can be reduced to writing those functions twice and hoping at least one is correct. There has to be a better way.
- vnorilo 7y agoThe best way is making no mistakes :) The second best is machine-checkable proofs, like types. The fallback is tests. Sometimes the first two can't be applied.