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

Browse archivesActive forum topicsNew forum topics 
Recent comments
16 min 38 sec ago
1 hour 3 min ago
2 hours 21 min ago
2 hours 26 min ago
5 hours 15 min ago
6 hours 7 min ago
6 hours 19 min ago
6 hours 51 min ago
14 hours 2 min ago
1 day 6 hours ago