3 ms·

Okay, sure, but that's just the classic argument for static type systems, i.e., soundness. I thought he was trying to allure to something more.