Type checking turns run-time errors into compile-time errors. This results in a huge improvement in code quality.