|
|
|
|
|
by wtetzner
3325 days ago
|
|
> Wait, you don't enforce 100% coverage? (Sorry, couldn't resist ;)) I know this was a joke, but 100% coverage only means you've covered every code path, not that you've tested every case. Static types allow you to prove the absence of certain classes of errors. Of course, you still need tests for all of the classes of errors that your type system doesn't cover. |
|