Type checking is a program analysis that verifies something about the types that are used in the program.
Type checking could happen at compile-time or at run-time.
There is two types of type checking:
- Static type checking
- Dynamic type checking
1) Static type checking: When variable data type is defined.
For example, in Java
int age = 20;
It is performed at compile time.
2) Dynamic type checking: When variable data type is not defined.
For example, in Python
age = 20;
It is performed at run time.
- Sebesta,”Concept of programming Language”, Pearson Edu
- Louden, “Programming Languages: Principles & Practices” , Cengage Learning
- Tucker, “Programming Languages: Principles and paradigms “, Tata McGraw –Hill.
- E Horowitz, “Programming Languages”, 2nd Edition, Addison Wesley