About

Type checking is there to ensure type safety

Fixing compile-time errors is easier than fixing runtime errors, which can be difficult to find. A compiler can check the type correctness of the program at compile-time.