| 
|
Quote: two type attributes are compatible if they are the same identifier (with compatible type arguments)
topics >
all references >
references c-d >
Topic:
structural equivalence vs. name equivalence of data types
Quotation Skeleton
Thus, we regard two type attributes as compatible … to compatible arguments. [This is required because a type t can be a parameter to a function. It would then be inconsistent to say that the function was valid for some types t but not for others with the same defined operations. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: structural equivalence vs. name equivalence of data types (30 items)