2 ms·
There is no inherent link between "number of successful compilations" and "program correctness". There is an inherent link between "the program type-checks" and
by DonaldPShimoda 4y ago
There is no inherent link between "number of successful compilations" and "program correctness". There is an inherent link between "the program type-checks" and "program correctness", because a successful type-check specifically means that a certain subset of syntactically valid programs have been thrown out due to being potentially problematic.