No. If a system MUST work, then there have to be no bugs at all. Removing a class is useless. You have to remove all bugs. You are talking about systems that S

No. If a system MUST work, then there have to be no bugs at all. Removing a class is useless. You have to remove all bugs. You are talking about systems that SHOULD work, but aren’t required to always work. Typically, safety-critical software is the latter, the rest of software is the former. But the latter are entirely different beasts, and is what we were discussing. By the way, Rust does not eliminate all race conditions; and memory safe languages may still have undefined behavior unrelated to memory (e.g. Rust)