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  7454 reads

Browse archivesActive forum topics 
Recent comments
15 hours 39 min ago
17 hours 47 min ago
17 hours 52 min ago
18 hours 28 min ago
19 hours 52 min ago
20 hours 51 min ago
3 days 22 hours ago
4 days 7 hours ago
4 days 10 hours ago
4 days 11 hours ago