User loginNavigation 
(newbie question) Covariance and contravarianceFirstly I don't have any theoretical background in Category Theory. My goal is just trying to understand the following: On wikipedia, A covariant type operator in a type system preserves the ordering â‰¤ of types. A contravariant operator reverses â‰¤. If neither of these apply, the operator is invariant. These terms come from category theory. What is type operator referring to in the context say Java ? The array type is usually covariant on the base type. Would I be right to say that the type operator is the assignment operator ? String[] a = new String[1]; Object[] b = a; Thanks. By chihiro at 20080107 03:16  LtU Forum  previous forum topic  next forum topic  other blogs  6933 reads

Browse archivesActive forum topics 
Recent comments
11 hours 33 min ago
12 hours 10 min ago
12 hours 10 min ago
13 hours 2 min ago
16 hours 46 min ago
17 hours 16 min ago
17 hours 18 min ago
17 hours 51 min ago
18 hours 42 min ago
19 hours 5 min ago