What is type checking?

Type-checking can be thought of as a task that attempts to evaluate the question of compatibility or type equivalence. It is a process that verifies that the types of the operands in an expression are compatible with the operation being applied to them.