existential-type

7El calor

1Respuesta

Simulación de la cuantificación existencial en los tipos de devolución de función

A veces me surge la necesidad de devolver valores de tipo cuantitativo existencial. Esto sucede más a menudo cuando estoy trabajando con tipos fantasmas (por ejemplo, representando la profundidad de u

haskell return-type existential-type gadt 2012-08-24

---

19El calor

1Respuesta

Haskell cuantificación existencial en detalle

Tengo una idea general de qué cuantificación existencial en tipos es y donde se puede utilizar. Sin embargo, según mis experiencias hasta ahora, hay muchas advertencias que deben entenderse para utili

haskell ghc type-systems existential-type 2012-02-13

---

7El calor

1Respuesta

Mapa heterogéneo

Necesito un mapa que pueda contener valores arbitrarios siempre que sus tipos sean de la misma clase de tipo. Mi primera aproximación ingenua era algo como esto: type HMap = forall a . MyClass a => M.

haskell polymorphism existential-type higher-rank-types 2012-05-24

---

5El calor

2Respuesta

¿Qué significa la advertencia "no es un tipo simple" en Scala?

Mi Scala proyecto 2.9.1 ahora emite 176 advertencias, todo casi exactamente como ésta: [warn] Not a simple type: [warn] Type: _29.type#source.type forSome { type _29.type <: Ontology.this.TruncationF

scala types warnings sbt existential-type 2012-01-03

---

13El calor

1Respuesta

Mónada de estado en OCaml

Estaba intentando implementar la mónada de estado en OCaml (como ejercicio). Mi aplicación es el siguiente: module type MONAD_BUILDER = sig type 'a t val return : 'a -> 'a t val bind :

polymorphism ocaml monads state-monad existential-type 2011-04-30

---

12El calor

2Respuesta

¿Se pueden reemplazar todos los usos de `forSome` por un uso equivalente de` _`?

Por ejemplo, List[T] forSome { type T } es equivalente a List[_], pero ¿esto es cierto para cada uso posible de forSome o hay casos en los que forSome no pueden ser reemplazados por un equivalente de

generics scala types existential-type 2012-02-25

---

5El calor

2Respuesta

¿Por qué no puedo obtener Mostrar aquí?

¿Por qué no puedo obtener Mostrar aquí? {-# LANGUAGE ExistentialQuantification #-} data Obj = forall a. (Show a) => Item_Obj {get :: a, rest :: Obj} | No_Obj deriving Show xs :: Obj xs = Item_Obj

haskell existential-type 2012-09-17

---

7El calor

1Respuesta

Escriba errores con tipos existenciales en Haskell

Estoy luchando con tipos existenciales en mi programa. Creo que estoy tratando de hacer algo muy razonable, sin embargo yo no puedo pasar de la typechecker :( tengo un tipo de datos de este tipo imita

haskell typeerror typechecking existential-type zipper 2011-11-25

---

14El calor

3Respuesta

Una "verdadera" función genérica en Haskell

Supongamos que tengo un tipo de datos compuesto - data M o = M (String,o) Ahora, puedo definir una función que funcione para todos, independientemente de Mo. Por ejemplo - f :: M o -> M o f (M (s,o

haskell existential-type 2011-08-19

---

5El calor

1Respuesta

tipo extraño desajuste cuando se utiliza el acceso de miembros en lugar de extractor de

Dada una tupla con elementos de tipo A y otro tipo parametrizado en A: trait Writer[-A] { def write(a: A): Unit } case class Write[A](value: A, writer: Writer[A]) y un sitio de uso: trait Cache { d

scala existential-type higher-kinded-types 2012-03-07

---