3 Matching Annotations
  1. Jun 2018
  2. arxiv.org arxiv.org
    1803.05316.pdf
    1
    1. bbarker 05 Jun 2018
      Example1.49.Recall from Example 1.36 that given a setXwe defineEXto be theset of partitions onX, and that a partition may be defined using a surjective functions:XPfor some setP.Any surjective functionf:X!Yinduces a monotone mapf:EY! EX, going“backwards”. It is defined by sending a partitions:YPto the compositef:s:XP
      contravariance partitions surjective category theory
    Visit annotations in context

    Tags

    Annotators

    URL

    arxiv.org/pdf/1803.05316.pdf
  3. Mar 2017
  4. msdn.microsoft.com msdn.microsoft.com
    Covariance and Contravariance in Generics
    2
    1. EoRaptor013 31 Mar 2017
      The lambda expression matches the delegate it is assigned to, so it defines a method that takes one parameter of type Base and that has no return value.

      Where's the Delegate the lambda expression supposedly matches

      lambda contravariance delegate
    2. EoRaptor013 31 Mar 2017
      IEnumerable<Base>.

      Covariance: can assign a variable from derived class to base class variable.

      Contravariance: can assign a variable from a base class to a derived class variable.

      Basic Liskov substitution? Except, contravariance is inversion of Liskov princip

      covariance contravariance liskov
    Visit annotations in context

    Tags

    Annotators

    URL

    msdn.microsoft.com/en-us/library/dd799517(v=vs.110).aspx