4 ms·
I guess I'm just skeptical that writing more code to try to protect against code being buggy will result in a system that works better than what we have today.
by saghm 1y ago
I guess I'm just skeptical that writing more code to try to protect against code being buggy will result in a system that works better than what we have today. Software with tests written for it still has plenty of bugs, after all.
- charcircuit 1y agoExpecting code to be perfect and code complete the first time around is typically a losing bet.
- saghm 1y agoI completely agree, which is why I don't think that contracts should be expressed in code in the first place. You have to spend a lot of effort up front just to reach parity with contractual systems that don't rely on code, and even if you get to that point, it's not really clear to me what benefits you'd get over what we have today.