2 ms·All type checkers either permit incorrect programs, reject correct programs, or are turing complete.by bmandale 8mo agoAll type checkers either permit incorrect programs, reject correct programs, or are turing complete.