Resultados de la búsqueda a petición "haskell"
¿Por qué no hay variables de tipo cuantificadas existencialmente en GHC Haskell?
Hay variables de tipo cuantificadas universalmente, y hay tipos de datos cuantificados existencialmente. Sin embargo, a pesar de eso, las personas dan un pseudocódigo de la formaexists a. Int -> a para ayudar a explicar conceptos a veces, no ...
Tipo de un doble
Aprendiendo Haskell, enghci: Prelude Data.Ratio> :type 0.15 0.15 :: Fractional a => a Prelude Data.Ratio> 0.15 0.15 it :: Double¿Por qué los tipos son diferentes? ¿Son esas dos instancias de 0.15 tipos realmente diferentes?
Reemplazar => en lugar de -> en la firma del tipo de función
Acabo de observar que si en lugar de->, Yo escribo=> en la definición de firma de tipo de una función, no produce un error de tiempo de compilación. Código de ejemplo: mysum :: Num a => [a] => a -- Notice => after the list [a] mysum [] = 0 ...
Comprender los fibonacci de Haskell
fibs :: [Int] fibs = 0 : 1 : [ a + b | (a, b) <- zip fibs (tail fibs)]Esto genera la secuencia de Fibonacci. Entiendo el comportamiento de los guardias, de:, zip ytail, pero no entiendo<-. Que esta haciendo aqui
Imprimir datos dinámicos
Tengo un sistema en Haskell que usa Data.Dynamics y Type.Reflection para realizar inferencias y cálculos. Me gustaría poder imprimir los resultados. La impresión es fácil cuando se suministra el tipo, por ejemplo foo :: Dynamic -> String foo ...
¿Cómo puedo instalar una biblioteca Haskell para que sea accesible a través de GHCi con Nixos?
He logrado instalar ghc connix-env -i ghc. Me gustaría instalar una biblioteca Haskell ahora, ¿cómo debería hacerse esto? Por ejemplo elturtle (https://hackage.haskell.org/package/turtle [https://hackage.haskell.org/package/turtle]) ...
Haskell: actuación de IORefs
He estado tratando de codificar un algoritmo en Haskell que requiere el uso de muchas referencias mutables, pero es (quizás no sorprendentemente) muy lento en comparación con el código puramente vago. Considere un ejemplo muy simple: module Main ...
Use MonadRef para implementar MonadCont
Hay un problema bien conocido queno podemos usarforall tipos en elCont tipo de retorno [https://stackoverflow.com/questions/7178919/how-to-make-callcc-more-dynamic/7180154#7180154] . Sin embargo, debería estar bien tener la siguiente ...
¿Son posibles los sinónimos de tipo con restricciones de tipo de clase?
Siéntase libre de cambiar el título, simplemente no tengo la experiencia suficiente para saber lo que realmente está sucediendo. Entonces, estaba escribiendo un programa basado libremente ...
exportar módulo haskell con diferente jerarquía
En Haskell, el nombre del módulo y el nombre del archivo que contiene el módulo tienen que ser los mismos. El problema no es solo el nombre del archivo, sino que incluye la ruta completa, por lo que tiene (AFAIK) para crear una estructura de ...