Quote: allowing the subtype relation to extend to procedures contravariantly interacts badly with subtype rules that require a change of representation

Quotation Skeleton

[How the subtypes got their rules, by Anonymous] Jo: The arrow rule [subtype extends to procedures contravariantly] interacts badly … such as the monotonic set and array rules … [subtype extends to sets and arrays]. … [p. 238] "Hackwell got the committee to accept the … [Neither implementation team implemented the monotonic set rule.] When the language was revised after the …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: Modula-3 does not extend the subtype relation to procedures, arrays, or sets

Related Topics

Group: type inheritance   (13 topics, 391 quotes)