Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in contravariance

Variance rules in C#

Contravariance invalid when using interface's delegate as a parameter type

Is it possible to implement the "virtual constructor" pattern in C# without casts?

Scala: Ordering contravariance

Why is C# 4.0's covariance/contravariance limited to parameterized interface and delegate types?

General 'map' function for Scala tuples?

How to check covariant and contravariant position of an element in the function?

Scala - Co/Contra-Variance as applied to implicit parameter selection

How to determine type parameter's variance?

Covariance and contravariance on Tasks

Covariance and Contravariance on the same type argument

@uncheckedVariance in Kotlin?

could someone explain the connection between type covariance/contravariance and category theory?

Why Liskov Substitution Principle needs the argument to be contravariant?

Functions are contravariant in their argument types and co-variant in their return types

Contravariance vs Covariance in Scala

Covariance and Contravariance in C#

ref and out parameters in C# and cannot be marked as variant

Understanding scala's _ vs Any/Nothing

Local type inference and contravariance in generic type variables