Go backward to
Go up to
Go forward to
Complicated in practice:
Primitive types (
) are always treated equivalent (named by class definition or not).
Each occurence of compound type structures (
) is treated as new type (whether named or not).
Procedures parameterized on one type of record structure cannot be abused by giving another.
Straight-forward to implement.
Attach unique integer tag to each compound type-structure expression.
Less natural logic.
No basic problem.
Just fewer programs well-typed.
Last Modification: May 7, 1998