2 ms·

A good typing system and (mostly) functional code also gets you quite far with this.

• 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 ago
    Yes, 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.)