3 ms·There certainly are languages that can provably ensure all cases are handled. Have a look at ATS.by Yttrill 14y agoThere certainly are languages that can provably ensure all cases are handled. Have a look at ATS.