3 Matching Annotations
  1. Jun 2018
    1. 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
  2. Mar 2017
    1. 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

    2. 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