3 ms·
In fairness, there's also a reason why correctness-oriented languages don't see a lot of use in the industry.
by yen223 7y ago
In fairness, there's also a reason why correctness-oriented languages don't see a lot of use in the industry.
- bitwize 7y agoBecause most programmers are sloppy. When you can't afford to be sloppy -- when human lives are literally on the line -- correctness-oriented programming comes roaring back into vogue.