Search your topic here

Type Checking

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.





LEAVE A REPLY










Related topics

Please use contact page in this website if you find anything incorrect or you want to share more information about the topic discussed above.