higher-rank-types

7El calor

1Respuesta

¿Cómo funcionan exactamente los sinónimos de tipo?

¿Cómo puede ser, que las siguientes comprobaciones de tipo {-# LANGUAGE RankNTypes #-} module Main where class Foo a where type FunFoo = (Foo a) => a -> IO() data Bar = Bar { funFoo :: Fu

haskell types type-systems higher-rank-types 2010-11-20

---

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

---

13El calor

4Respuesta

variante genérica del bi fab = (fa, fb)

¿Hay alguna forma de tipo seguro para escribir una función bi f a b = (f a, f b) de tal manera que sería posible utilizar de esta manera: x1 :: (Integer, Char) x1 = bi head [2,3] "45" x2 :: (Inte

haskell types higher-rank-types 2012-05-27

---

15El calor

2Respuesta

clasificados Superior y impredicativas tipos

que desea implementar el stripPrefixBy siguiente función: -- psuedo code signature stripPrefixBy :: forall a. [forall b. a -> Maybe b] -> [a] -> Maybe [a] stripPrefixBy [] xs = Just xs stripPrefixB

haskell higher-rank-types 2012-01-05

---

37El calor

1Respuesta

Documentación STArray para novatos y preguntas relacionadas con State/ST

Tengo dificultades para entender STArray de la documentación y otros howtos/debates que he encontrado a través de Google. Tengo algunas preguntas más relacionadas a continuación. Según la documentació

arrays haskell state higher-rank-types 2011-11-19

---

5El calor

1Respuesta

RankNTypes para declaraciones de instancia?

He estado jugando con RankNTypes recientemente y me pregunto si es posible usarlos en declaraciones de instancias. Aquí está un ejemplo simple que utiliza tipos de datos abiertos data (Expr a, Expr b)

haskell types type-systems higher-rank-types 2010-10-18

---

11El calor

2Respuesta

map runSTArray sobre una lista de STArrays?

Tengo una función que crea recursivamente una lista aplanada de matrices de un árbol que tienen que ser mutables ya que sus elementos se actualizan con frecuencia durante su creación. Hasta ahora he l

arrays haskell state higher-rank-types 2011-11-28

---

19El calor

4Respuesta

¿Qué usos ha encontrado para los tipos de rango superior en Haskell?

Los tipos de rango superior parecen muy divertidos. Desde el Haskell wikibook viene este ejemplo: foo :: (forall a. a -> a) -> (Char,Bool) foo f = (f 'c', f True) Ahora podemos evaluar foo id sin e

haskell types polymorphism type-systems higher-rank-types 2009-09-25

---

24El calor

2Respuesta

¿Caso de uso para el polimorfismo de rango 3 (o superior)?

He visto algunos casos de uso para el polimorfismo de rango 2 (el ejemplo más destacado es el ST monad), pero ninguno para un rango superior. ¿Alguien sabe de ese caso de uso?

haskell types polymorphism higher-rank-types parametric-polymorphism 2011-12-06

---

16El calor

2Respuesta

newtype con RankNTypes

Si quiero declarar una newtype tal que tipo de tipo de valor está limitado a tener una instancia para una clase de tipo, parece como si pudiera hacer eso con: {-# LANGUAGE RankNTypes #-} newtype Sho

haskell higher-rank-types newtype 2012-03-19

---