contravariance

52El calor

3Respuesta

¿Por qué no hay muchas discusiones sobre contra y varianza en Haskell (a diferencia de Scala o C#)?

Sé qué es la covarianza y la contravarianza de los tipos. Mi pregunta es: ¿por qué no me he encontrado con la discusión de estos conceptos todavía en mi estudio de Haskell (en oposición a, digamos, Sc

haskell covariance contravariance 2012-02-15

---

41El calor

2Respuesta

C# varianza anotación de un parámetro de tipo, forzado a tomar el tipo de valor

Es posible en C# para añadir una anotación varianza de tipo de parámetro, forzado a tomar el tipo de valor: interface IFoo<in T> where T : struct { void Boo(T x); } ¿Por qué se permite que es

c# generics compiler-construction covariance contravariance 2012-02-19

---

8El calor

1Respuesta

contravarianza en expresiones

Estoy intentando crear un delegado acción genérica delegate void ActionPredicate<in T1, in T2>(T1 t1, T2 t2); y public static ActionPredicate<T,string> GetSetterAction<T>(string fieldName) {

c# expression expression-trees covariance contravariance 2012-04-11

---

5El calor

2Respuesta

¿Hay lenguajes de programación de tipo estático con herencia donde los parámetros del método son contravariantes?

Teóricamente es sonido para reemplazar los métodos de uno de los padres en una subclase con un método en el que los parámetros son los supertipos de los parámetros de la clase padre, como: class T

inheritance language-agnostic types contravariance 2011-11-17

---

12El calor

1Respuesta

¿Por qué los tipos de parámetros contravariantes en Java no están permitidos para la anulación?

Al anular un método de una superclase, Java permite que el tipo de retorno sea covariante. ¿Por qué son contravariantes los tipos de parámetros en contraste no permitidos cuando se reemplazan los méto

java override covariance contravariance 2012-09-15

---

25El calor

2Respuesta

¿Qué significa <en TFrom, out TTo>?

ReSharper ha sugerido cambiar de interface IModelMapper<TFrom, TTo> { TTo Map(TFrom input); } en interface IModelMapper<in TFrom, out TTo> Así que investigar un poco y terminó la lectura th

c# generics covariance contravariance 2011-11-29

---

31El calor

2Respuesta

¿Por qué el parámetro está en una posición contravariante?

Estoy intentando utilizar un parámetro de tipo covariante dentro de un rasgo de construir un caso de clase de este modo: trait MyTrait[+T] { private case class MyClass(c: T) } compilador dice:

scala covariance contravariance case-class 2012-03-08

---

19El calor

1Respuesta

Por qué covarianza no funciona con método genérico

Supongamos que tengo interfaz y clase: public interface ITree {} public class Tree : ITree {} Como IEnumerable<T> es covariante, la línea de código siguiente se compila con éxito: IEnumerable<ITree

c# c#-4.0 covariance contravariance 2012-10-05

---

23El calor

4Respuesta

¿Por qué la función [-A1, ..., + B] no trata de permitir ningún supertipo como parámetro?

Creo que se puede definir la covarianza (al menos para los objetos) como "la capacidad de usar un valor de un (sub) tipo más estrecho en lugar de un valor de algún tipo (super) más amplio", y esa cont

function scala covariance contravariance 2012-05-15

---

6El calor

1Respuesta

No se puede convertir implícitamente MyType <Foo> a MyType <IFoo>

No estoy seguro de si esto es un problema de covarianza y contradicción, pero no puedo hacer que funcione. Aquí está el código: public interface IDto { } public class PaginatedDto<TDto> where TDto :

c# covariance implicit-conversion contravariance 2012-08-26

---