type-variables

56El calor

3Respuesta

¿Qué son skolems?

Eeek! ¡GHCi encontró Skolems en mi código! ... Couldn't match type `k0' with `b' because type variable `b' would escape its scope This (rigid, skolem) type variable is bound by the type si

haskell types type-variables 2012-10-04

---

6El calor

2Respuesta

Variable de tipo ambiguo 'blah' en la restricción ... ¿cómo solucionarlo?

Estoy tratando de escribir un rastreador de rayos simple en Haskell. Quería definir una clase de tipos que representan los diferentes tipos de superficies disponibles, con una función para determinar

haskell type-variables 2011-02-15

---

11El calor

1Respuesta

¿Cómo selecciona GHCi los nombres para las variables de tipo?

Cuando se utiliza el intérprete GHC interactiva, es posible solicitar el tipo inferido de una expresión: Prelude> :t map map :: (a -> b) -> [a] -> [b] Parece que lleva los nombres de las variables

haskell type-inference ghc ghci type-variables 2011-12-15

---

7El calor

3Respuesta

Haskell: Implementar "randoms" (a.k.a., variable de tipo ambiguo)

Estoy leyendo a través de LYAH, y en el capítulo 9, encontré un problema curioso. El autor ofrece un ejemplo de la aplicación de la función "azares": randoms' :: (RandomGen g, Random a) => g -> [a] r

haskell types ghci type-variables 2011-12-26

---