Resultados de la búsqueda a petición "haskell"
El significado de tilde en los tipos de Haskell (igualdad de tipos)
He estado jugando con elfix función, y me encontré con esto: λ let fix f = let x = f x in x λ fix (+) <interactive>:15:5: Occurs check: cannot construct the infinite type: t ~ t -> t Expected type: t -> t Actual type: t -> t -> t Relevant ...
Implementando el Analizador Functor
Trabajando en la UPenn 2013 de Brent Yorgeyclase [http://www.cis.upenn.edu/~cis194/spring13/hw/10-applicative.pdf]tarea, lo siguientenewtype existe: newtype Parser a = Parser { runParser :: String -> Maybe (a, String) } Estoy tratando de ...
Versión eficiente de 'inits'
Es decir,inits "abc" == ["","a","ab","abc"] Hay una versión estándar deinits enData.List [http://hackage.haskell.org/package/base-4.7.0.2/docs/Data-List.html#g:10], pero a continuación he escrito una versión yo mismo: myInits = f id where f ...
Haskell - Calculando el camino más corto usando árboles
Estoy tratando de escribir un código en haskell, que va del punto A al punto F, en un juego de mesa, que es esencialmente una Matriz, siguiendo el camino más corto. Este es el tablero: AAAA ACCB ADEF * 0 0 NEl robot ingresa en la letra A, en la ...
Ninguna instancia para (Num (Int -> Int)) derivada del literal '5'
Tengo la siguiente función: f :: (Int -> Int) -> Int f = undefinedAhora quiero llamarf con5 (que es incorrecto): f 5Obviamente, esto no debería compilarse, porque5 no es una función deInt aInt. Entonces esperaría un mensaje de error ...
Resolviendo los detalles de una mónada libre indexada por tipo
He estado usando una mónada gratis para construir un DSL. Como parte del lenguaje, hay uninput comando, el objetivo es reflejar qué tipos espera la primitiva de entrada a nivel de tipo para seguridad adicional. Por ejemplo, quiero poder escribir ...
¿Por qué un tipo más general afecta el tiempo de ejecución en Haskell?
Considere las dos implementaciones siguientes de una secuencia infinita de Fibonacci: fibsA :: Num a => [a] fibsA = 0:1:(zipWith (+) fibsA (tail fibsA)) fibsB :: [Integer] fibsB = 0:1:(zipWith (+) fibsB (tail fibsB))En GHCI, ejecutandofibsB !! k ...
Haskell suma parcial de un error de lista
Necesito escribir una función en Haskell que sume los elementos de una lista hasta que algunos elementos específicos se almacenen en otra lista. Por ejemplopartial_add [1,2,3,4,5,6] [2,5] 0 debería volver[3,12,6]. He llegado hasta ...
"Cabal install cabal-install" no actualiza la versión de cabal en OSX
Soy un novato en Haskell y Cabal, así que probablemente me estoy perdiendo algo simple. Actualicé cabal-install: sudo cabal install cabal-install Password: Resolving dependencies... Configuring cabal-install-1.22.0.0... Building ...
Haskell: Convertir Int a String
Sé que puedes convertir unString a un número conread: Prelude> read "3" :: Int 3 Prelude> read "3" :: Double 3.0¿Pero cómo agarras elString representación de unInt ¿valor?