Hacker News Reader

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.

View on HN

There certainly are languages that can provably ensure all cases are handled.

Have a look at ATS.

I'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.

Reply on news.ycombinator.com