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.
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