2 ms·
Yeah, except your tests can never prove that your code is fully sound, whereas a good type system can (for some definition of soundness)
by Ar-Curunir 6y ago
Yeah, except your tests can never prove that your code is fully sound, whereas a good type system can (for some definition of soundness)