2 ms·
That is blatantly false. Type-safety can prove (as in a mathematical proof) that whole classes of bugs are impossible.
by joehillen 10y ago
That is blatantly false. Type-safety can prove (as in a mathematical proof) that whole classes of bugs are impossible.