[ Course Documents ] : [ Names and Binding ]

Previous Contents Next Keyword Index

Type Checking

• Generalize the concept of operands and operators to include subprograms and assignments

• Type checking is the activity of ensuring that the operands of an operator are of compatible types

• A compatible type is one that is either:
  • Legal for the operator, or
  • Allowed under language rules to be implicitly converted to a legal type by compiler-generated code
  • This automatic conversion is called a coercion