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

Browse archivesActive forum topicsNew forum topics

Recent comments
22 min 10 sec ago
22 min 37 sec ago
13 hours 28 min ago
15 hours 47 min ago
17 hours 5 min ago
1 day 3 hours ago
1 day 13 hours ago
2 days 2 hours ago
2 days 5 hours ago
2 days 13 hours ago