4 ms·
Coverage analysis in particular gets to be overkill when you have a good type system and a good model. But type systems do not help you with things like "do we
by humanrebar 6y ago
Coverage analysis in particular gets to be overkill when you have a good type system and a good model.
But type systems do not help you with things like "do we gracefully fail when we got this error path?" or "do we actually drain the queue in all cases?".
Few things but contrived tests do, really.
- marcosdumay 6y agoYes, they do. And your second example is a very usual thing to do with them. (The first isn't common, but is doable, it's common to use types to enforce that failure is handled, not that it fits some extra requisites.)