Coverage analysis in particular gets to be overkill when you have a good type sy... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

humanrebar on July 7, 2020 | parent | context | favorite | on: Against Testing

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 on July 7, 2020 [–]

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.)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact