| 
|
Quote: the product type is a covariant type operator on pairs of types; i.e., A x B <: A' x B' provided that A <: A' and B <: B'
topics >
all references >
references a-b >
Group:
type inheritance
Quotation Skeleton
Let us consider product types. The type AxB … [with an element of A and one of B]. … We say that x is a covariant operator … A x B <: A' x B' provided … Google-1 Google-2
Copyright clearance needed for quotation.
Group: type inheritance (13 topics, 391 quotes)