Type checking
A process of inferring types from the program code
- they bubble up from the leaves of the tree
Rules
- Type of a literal is immediately known
- Type of a variable found from its declaration
- In any operation, the type checker ensures
- types of operands are acceptable
- type of operation is its return type