3 ms·
Congratulations. You've just disqualified yourself from working on SIL-4 safety-critical software. There are no such languages that can provably ensure all ca
by primitur 14y ago
Congratulations. You've just disqualified yourself from working on SIL-4 safety-critical software. There are no such languages that can provably ensure all cases are handled: there are only testing processes.
Aversion to a technology is not the same as mastery of that technology. goto has its time, and place. Certifiably, so.
- jacques_chester 14y agoI'm pretty sure we're on different pages here. Some languages can detect that there are unhandled cases in a selection statement (case, if etc). Those languages can enforce the handling of all cases, which to me at least renders the concept of a dangling case moot. I didn't say that you'd leave the cases untested. I'm just saying that in some languages the compiler is more of an ally than in others. I'll write to Galois and Praxis to tell them that they're disqualified from writing SIL-4 software.
- Yttrill 14y agoThere certainly are languages that can provably ensure all cases are handled. Have a look at ATS.