| 
|
Quote: Modula-3 uses a simple, restricted subtype rule, if T <: U, then every value of T is a value of U; arrays and procedures must be basically the same
topics >
all references >
references c-d >
Group:
type inheritance
Topic:
structural equivalence vs. name equivalence of data types
Quotation Skeleton
We write T<:U to indicate that T is … of type T is also a value of … [u..v] <: [u'..v'] if [u..v] is a (possibly … [u'..v'] … [An array is a subtype of another array with the same element type and shape or of an open array.] … [Procedures are sub-types] if they are the same except for … [in a subset relationship]. … [Additional rules ...] Google-1 Google-2
Copyright clearance needed for quotation.
Group: type inheritance (13 topics, 391 quotes)
Topic: structural equivalence vs. name equivalence of data types (30 items)