Resultados de la búsqueda a petición "haskell"
Igual (=) Vs flecha izquierda (<-) símbolos en haskell
Código de trabajo: import System main = do [file1, file2] <- getArgs --copy file contents str <- readFile file1 writeFile file2 strCódigo de bloqueo: import System main = do [file1, file2] = getArgs str = readFile file1 writeFile file2 ...
Paquete Haskell instalado pero no encontrado
Instalé diagramas, y parece estar allí, pero GHCi no lo encuentra. Intenté agregar el sandbox local a la línea de comando (-package-db), pero aún así no tuve suerte. ¿Alguna sugerencia? C:\Users\guthrie> C:\Users\guthrie>cabal install diagrams ...
Por qué `(map digitToInt). show` es tan rápido?
Convertir no negativoInteger a su lista de dígitos comúnmente se hace así: import Data.Char digits :: Integer -> [Int] digits = (map digitToInt) . show Estaba tratando de encontrar una forma más directa de realizar la tarea, sin involucrar una ...
Agregar dos funciones juntas en Haskell
Hola, soy nuevo en Haskell y me encontré con un problema interesante, pero no estaba muy seguro de cómo resolverlo. Estoy a punto de mostrarle solo dos partes de la pregunta como ejemplo. La pregunta es que debemos ingresar un número entre 13 y ...
¿Qué es la mónada indexada?
Que esmónada indexada [https://hackage.haskell.org/package/indexed-0.1/docs/Control-Monad-Indexed.html] y la motivación para esta mónada? He leído que ayuda hacer un seguimiento de los efectos secundarios. Pero la firma de tipo y la ...
Obteniendo el valor 'a' del tipo de retorno 'Quizás a' en Haskell
Esto va a ser difícil de explicar porque hay una cantidad decente de detalles de fondo sobre el código en su conjunto que se debe conocer para saber realmente de manera funcional de lo que estoy hablando. Pero haré todo lo posible para expresar ...
¿Accediendo al "programa predeterminado" en Haskell?
Digamos que tiene una estructura de datos (tomada de estopregunta [https://stackoverflow.com/q/2529663/67579]): data Greek = Alpha | Beta | Gamma | Delta | Eta | Number IntAhora uno puede convertirlo en una instancia deShow agregandoderiving ...
¿Por qué no hay una instancia 'Alternativa' para 'Control.Applicative.Const'
Hay una instanciaMonoid a => Monoid (Const a b) Para elConst [http://hackage.haskell.org/package/base-4.7.0.2/docs/Control-Applicative.html#t:Const] functor deControl.Applicative. También hay una instanciaMonoid m => Applicative (Const m). Por ...
Probar si un valor ha sido evaluado en forma normal de cabeza débil
En Haskell, ¿es posible probar si un valor ha sido evaluado en forma normal de cabeza débil? Si ya existe una función, esperaría que tuviera una firma como evaluated :: a -> IO BoolHay algunos lugares donde vive una funcionalidad similar. A ...
Cuantificación universal y unificación, un ejemplo
Dada la siguiente firma para ejecutar la mónadaST runST :: (forall s. ST s a) -> ay las funciones newVar :: a -> ST s (MutVar s a) readVar :: MutVar s a -> ST s aEntonces el compilador de Haskell rechazará la siguiente expresión mal ...