3 ms·
> 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 cost
by 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.