Type Checking

Occasions for Type Checking:

• Expressions
• Assignment
• Parameter passing

Type Checking Algorithm

• Are the two or more types Legal
• Coerced

Types:

• Static
  • If static type binding
  • Efficient
• Dynamic
  • If dynamic type binding
    • Occasionally, static type binding
  • Flexible