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.