3 ms·
>Safety is less ergonomic. It's not safety that makes it less ergonomic, it's correctness.
by charcircuit 1y ago
>Safety is less ergonomic.
It's not safety that makes it less ergonomic, it's correctness.
- mattwilsonn888 1y agoImplying that correctness necessitates a lack of ergonomics is deeply flawed. The distinction between correctness and safety is that safety is willing to suffer false positives, in pursuit of correctness. Correctness is just correctness.
- charcircuit 1y agoIt's not flawed. Ergonomics are correlated with complexity. If you can remove edge cases by giving up on correctness you can remove complexity.