3 ms·... for some spectactularly inconsistent and arbitrary definition of "correct program".by rerdavies 9mo ago... for some spectactularly inconsistent and arbitrary definition of "correct program".noosphr 9mo agoYes, like giving the correct result for every possible input.rerdavies 8mo agoNot really sure that a type system is going to guarantee that your program generates the correct result for every possible input.