> Programming in the large without tests is a fool's errand. Type systems don't guarantee correctness. I never said you do not need tests nor that static typin

> Programming in the large without tests is a fool's errand. Type systems don't guarantee correctness. I never said you do not need tests nor that static typing is a panacea. In my view it's a necessary, but not sufficient condition, when programming in the large.