Quote: a function type is a contravariant type operator on pairs of types; i.e., A -> B <: A' -> B' provided that A' <: A and B <: B'; extends to multiple arguments

Quotation Skeleton

We examine function types next. The type A->B … -> is a contravariant operator in its left … instead covariant: A -> B <: A' -> … In the case of functions of multiple arguments, … A_2. … [p. 21] Much controversy in the object-oriented community revolves … from classes to subclasses. We must stress that … [p. 22] According to our definitions, covariance of method …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: methods vary contravariantly from classes to subclasses; despite debate to the contrary

Related Topics

Group: type inheritance   (13 topics, 391 quotes)