Types are good for more than just "int instead of string". What you consider a type related error is likely not the full set of errors a type system can prevent.