[ Course Documents ] : [ Names and Binding ]

Previous Contents Next Keyword Index

Type Compatibility: Structural Equiv.

• Type compatibility by structure ("structural equivalence") means that two variables have compatible types if their types have identical structures

• More flexible, but harder to implement

• Makes it more difficult to use a type checking to detect certain types of errors (e.g., preventing inconsistent unit usage in Ada)