4 ms·
Correctness in a program is a bit like Partition-tolerance in distributed systems, isn't it? It's not an option to write (too) incorrect software, even if doin
by dermesser 4y ago
Correctness in a program is a bit like Partition-tolerance in distributed systems, isn't it?
It's not an option to write (too) incorrect software, even if doing so is a lot faster. At the end of the day, the software needs to do its work.
- Kamq 4y agoSure, but that's an impact in usefulness. I value correctness as far as it makes the program more useful, but relatively simple type systems are more than enough to get there.