4 ms·
But, as you surely know, types prove something about a piece of code. This means they can very well prove the absence of (certain) bugs. So generally, the more
by pka 10y ago
But, as you surely know, types prove something about a piece of code. This means they can very well prove the absence of (certain) bugs.
So generally, the more invariants you manage to capture in your types, the more categories of bugs you can statically prove will never happen.
- jw- 10y agoThis is all true, but is it not a problem that most static languages don't let you (easily) specify the kind of invariants people include in unit-tests.
- acjohnson55 10y agoSure. But you write unit tests for those.