Quote: Oberon types include a pointer to the base type's descriptor; name equivalence of types, not structural equivalence; for type tests/guards

Quotation Skeleton

[Oberon type descriptors] represent the relationship of a type to … this purpose, an additional field … is provided. It contains a pointer to the … [p. 872] We note in passing that the simplicity … equivalence … Hence, a type is identified by the address …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: type reflection and introspection (28 items)
Topic: structural equivalence vs. name equivalence of data types (30 items)