|
|
|
|
|
|
by grues-dinner
516 days ago
|
|
|
Not only compile time, but run/debug time. Just being able to say "I have an object here, so I must have some consistent state meaning XYZ" is very helpful. Of course, it's on you to make that happen - if you have a Between6And10 type and you implement as struct with an int that someone comes and writes 15 into it, it's bad news for your assumptions. If you can make it compile time safe, then great, but even when you can't, if you know the invariants are holding, it's still something powerful you can reason about. |
|
|