Compiler
Constructio
n
1
,Type Checking
Type checking is the process of checking
compatibility of operands in a particular operation
e.g.
x=a%b;
Here requirement of % operator is that both the
operands must be of integer type.
If one operator is integer and other is some other
type, then it means that % operator has been
applied to incompatible operands, so it is semantic
error.
2
, Types of Type Checking
Two types of Type Checking:
1. Static Type Checking or Static checks
2. Dynamic Type Checking
3
Constructio
n
1
,Type Checking
Type checking is the process of checking
compatibility of operands in a particular operation
e.g.
x=a%b;
Here requirement of % operator is that both the
operands must be of integer type.
If one operator is integer and other is some other
type, then it means that % operator has been
applied to incompatible operands, so it is semantic
error.
2
, Types of Type Checking
Two types of Type Checking:
1. Static Type Checking or Static checks
2. Dynamic Type Checking
3
