contravariance

10El calor

2Respuesta

¿alguien podría explicar la conexión entre el tipo de covarianza/contravarianza y la teoría de categorías?

Estoy empezando a leer acerca de la teoría de categorías, y agradecería mucho que alguien pudiera explicar la conexión entre la contravariancia/covarianza CS y la teoría de categorías. ¿Cuáles serían

covariance contravariance type-theory category-theory 2010-06-26

---

6El calor

1Respuesta

¿Puedo tener un tipo que sea ambos, covariante y contravariante, es decir, completamente fungible/modificable con sub y super tipos?

¿Puedo tener un tipo (por ahora olvidando su semántica) que puede ser covariante y también contravariante? por ejemplo: public interface Foo<in out T> { void DoFooWith(T arg); } Off para el b

c#-4.0 covariance contravariance variance 2010-05-11

---

5El calor

4Respuesta

Ejemplos de buenos casos de uso de la vida real para la covarianza y la contravarianza en C# 4.0?

Antes de que saliera C# 4.0, estaba bastante entusiasmado con la covarianza y la contravariancia. Me complació mi afición por la corrección teórica. Sin embargo, ahora que está fuera, y he vuelto a es

c# covariance use-case contravariance 2010-08-27

---

16El calor

2Respuesta

¿Por qué las interfaces genéricas no son co/contravariantes por defecto?

Por ejemplo IEnumerable<T> interfaz: public interface IEnumerable<out T> : IEnumerable { IEnumerator<T> GetEnumerator(); } En esta interfaz del tipo genérico se utiliza sólo como un tipo de r

c# generics covariance contravariance 2010-08-30

---

8El calor

1Respuesta

¿Hay alguna forma de determinar la varianza de una interfaz/delegado en C# 4.0?

Ahora que tenemos covarianza y contravarianza genéricas en las interfaces y delegados en C#, me llamó la atención si se le da un Type, puede deducir la covarianza/contravarianza de sus argumentos gené

c# reflection covariance contravariance 2010-05-27

---

5El calor

2Respuesta

de diferencia el y co-varianza - CLR a través de C#

En el CLR a través de C# tercera edición hay un ejemplo que me parece que no puede hacer sentido de: Significado invariante que ese parámetro tipo genérico no se puede cambiar . I ha mostrado solo los

.net covariance contravariance 2010-07-26

---

12El calor

3Respuesta

¿Por qué no se delega trabajo de contravarianza con tipos de valor?

Este fragmento no está compilado en LINQPad. void Main() { (new[]{0,1,2,3}).Where(IsNull).Dump(); } static bool IsNull(object arg) { return arg == null; } mensaje de error del compilador es

c# boxing value-type contravariance 2010-11-04

---

7El calor

2Respuesta

Delegados contravariantes Tipos de valor

¿Alguien puede arrojar luz sobre por qué la contravariancia no funciona con los tipos de valores C#? La continuación no funciona private delegate Asset AssetDelegate(int m); internal string DoMe()

c# c#-3.0 contravariance 2010-06-09

---

5El calor

2Respuesta

Scala: problemas utilizando funciones como objetos de primera clase

Es necesario disponer de una colección de funciones genéricas, pero no puedo lograr que se haga de la manera que me gusta. creé una List[(Any)=>Unit] pero tan pronto como trato de insertar una funci

scala function contravariance 2010-07-31

---

11El calor

3Respuesta

¿Por qué la covarianza/contravarianza de C# 4.0 se limita a la interfaz parametrizada y tipos de delegados?

¿Es esto una limitación del CLR o hay problemas de compatibilidad con el código existente? ¿Está esto relacionado con la variación desordenada de la combinación de delegados en C# 4.0? Editar: ¿Sería

c# clr c#-4.0 covariance contravariance 2010-08-04

---