As someone smarter than me put it: "Bad code is language agnostic" Yes, catching type errors eliminates one category of error but, generally, the type of progr

As someone smarter than me put it: "Bad code is language agnostic" Yes, catching type errors eliminates one category of error but, generally, the type of programmers that make that kind of error frequently will not constrain themselves to just one category of error.