October 12th, 2008

что такое covariant?

http://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)
http://en.wikipedia.org/wiki/Covariance_and_contravariance_of_vectors

Интересно. В геометрии и физике ковариантными называются вектора в обратном пространстве, в то время как обычные вектора, например скорость или сдвиг - контравариантными. В программировании же наоборот: ковариантное - это что-то родственное, а контравариантное - чуждое. Например, унарная функция "ковариантна" по типу результата и "контравариантра" по типу аргумента.