3 ms·
What's the point in testing types if the tests that check it works pass?
by nick238 9y ago
What's the point in testing types if the tests that check it works pass?
- sidlls 9y agoNo, the claim is that the tests that "check it works" are really testing the types (as an ad-hoc type checker) and wouldn't need to be written if a sufficiently strict static type system were used instead.