Resultados de la búsqueda a petición "haskell"
Explicación de las leyes de mónada
Deuna suave introducción a Haskell [https://www.haskell.org/tutorial/monads.html], existen las siguientes leyes de mónada. ¿Alguien puede explicar intuitivamente lo que significan? return a >>= k = k a m >>= return = m xs >>= return . f = fmap f ...
Cremallera como estructura de datos con más de un cursor
La estructura de datos de Zipper es excelente cuando se quiere atravesar un árbol y mantener la posición actual, pero ¿qué estructura de datos se debe usar si desean rastrear más de una posición? Déjame explicarte con ejemplos: Alguien en el ...
Error de Haskell: error de análisis en la entrada `= '
Especificaciones GHC 6.12.1 Mac OS X 10.6.4 x64 Macbook Pro Problema Tengo problemas para usarlet sintaxis. El siguiente código se niega a compilar: module Main where main = let x = 1 y = 2 z = 3 in putStrLn $ "X = " ++ show x ++ "\nY = " ...
ayuda con mónada lector
Soy nuevo en Haskell, tengo que escribir un programa que tenga en cuenta el contexto, por lo que pensé que podía usar el Reader Monad para mantener el contexto leído desde un archivo, sé cómo leer el archivo y poner el contenido en una lista de ...
Haskell primPutChar definición
Estoy tratando de averiguar cómo lo básicoIO Las funciones de Haskell están definidas, así que utilicéesta referencia [https://www.haskell.org/onlinereport/standard-prelude.html]y llegué a laputChar definición de función: putChar :: Char -> IO ...
Conjunto de pruebas Haskell Stack Ghci
Estoy tratando de usar stack para cargar mi suite de pruebas en ghci y hacer que cargue la dependencia QuickCheck y hspec. ¿Cómo puedo hacer esto? Estoy usando la plantilla ...
¿Puedo aumentar la igualdad de tipos desde una dependencia funcional?
Estoy tratando de tener una idea deMultiParamTypeClasses yFunctionalDependencies, y lo siguiente me pareció algo obvio para probar: {-# LANGUAGE MultiParamTypeClasses , FunctionalDependencies , TypeOperators #-} import Data.Type.Equality class C ...
Variables de coincidencia de patrones en una declaración de caso en Haskell
Si comparo un literal de cadena con un literal de cadena usando la declaración de caso, obtengo el comportamiento esperado: si son iguales, si coinciden, si no lo son, no es así. Sin embargo, si comparo un literal de cadena con una constante que ...
Escribe misterios. ¿Por qué se compila este código?
Este código no compila: default () f :: RealFloat a => a f = 1.0 g :: RealFloat a => a g = 1.0 h :: Bool h = f < g --Error. Ambiguous.Esto se espera porque es ambiguo. Las dos posibilidades sonFloat yDouble y el compilador no sabe qué< para ...
¿Cambiar el tipo de retorno de una función en Haskell?
¿Existe una manera sucinta de cambiar el tipo de retorno de una función? Considerarpor ejemplo comparing enData.Ord. Devuelve unOrdering. Sin embargo, solo me interesa saber si los dos elementos son iguales o no. Entonces necesito convertir el ...