Type Checking

 
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:

 

  1. Static TYPE CHECKING
  2. 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.
 
Video lecture on TYPE CHECKING

References:

  1. Sebesta,”Concept of programming Language”, Pearson Edu
  2. Louden, “Programming Languages: Principles & Practices” , Cengage Learning
  3. Tucker, “Programming Languages: Principles and paradigms “, Tata McGraw –Hill.
  4. E Horowitz, “Programming Languages”, 2nd Edition, Addison Wesley