| http://www.w3.org/ns/prov#value | - To me one of the most striking and perhaps apropos examples of order theory in software is that of covariance and contravariance which Eric Lippert defines on his blog as: The first thing to understand is that for any two types T and U, exactly one of the following statements is true: T is bigger than U.
|
