No, the behavioral test [1] one writes cannot be replaced by type checks nor does a type system reduce the need to write tests if you're doing testing correctly

No, the behavioral test [1] one writes cannot be replaced by type checks nor does a type system reduce the need to write tests if you're doing testing correctly. [1] https://twitter.com/unclebobmartin/status/1135894370165710848 https://twitter.com/unclebobmartin/status/113589437016571084...