Answer to Question 05D-1

Type checking is an important way for a compiler to check for mistakes in your program. If a program compiles without errors, then you can be confident that there are no errors of particular kinds, namely type errors.