3 ms·
Well, can it spot race conditions? Or will it suddenly solve the halting problem? Safety is not a binary value. Dependent types can increase safety, though the
by kaba0 4y ago
Well, can it spot race conditions? Or will it suddenly solve the halting problem?
Safety is not a binary value. Dependent types can increase safety, though they do come with a significant cost, which may very well be spent on additional testing, indeed.
- valenterry 4y ago> Safety is not a binary value Exactly. Encoding logic in types doesn't have to fix all problems all the time. It's sufficient if advantages outweight the costs.