If most testable paths are covered by typing, then what? You're working on some kind of filter app? Sure, then, probably more than 80% of problems are caught wi

If most testable paths are covered by typing, then what? You're working on some kind of filter app? Sure, then, probably more than 80% of problems are caught with type checking. I'm not saying that's not coding, because lots of things are coding. But I am saying that's not the usual case that I see.