> Type systems are really a set of comprehensive tests you don't have to write yourself that cover a subset of the things you need to test for. Maybe in a very

> Type systems are really a set of comprehensive tests you don't have to write yourself that cover a subset of the things you need to test for. Maybe in a very strongly-typed language, but having used a pretty wide variety of statically-typed languages, I can confidently say none of them had strong enough type systems that the assertions made by the type system could be considered "comprehensive". You still need a test suite.