Map
Index
Random
Help
th

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 > QuoteRef: abadM_1996 , p. 21



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.


Related Topics up

Group: type inheritance   (13 topics, 391 quotes)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.