[Ar-Curunir]

Yeah, except your tests can never prove that your code is fully sound, whereas a good type system can (for some definition of soundness)