| 
|
Quote: an update type is an invariant type operator on pairs of types; i.e., if A * B means A and B may be updated, then A * B <: A' * B' provided A=A' and B=B'
topics >
all references >
references a-b >
Group:
type inheritance
Quotation Skeleton
Finally, consider pairs whose components can be updated; … The operator * does not enjoy any covariance … say that * is an invariant operator (in … Google-1 Google-2
Copyright clearance needed for quotation.
Group: type inheritance (13 topics, 391 quotes)