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
3 Matching Annotations
- Jun 2018
-
arxiv.org arxiv.org
-
- Mar 2017
-
msdn.microsoft.com msdn.microsoft.com
-
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
-
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
-