Resultados de la búsqueda a petición "haskell"
¿Por qué este código Haskell produce el error "tipo infinito"?
Soy nuevo en Haskell y me enfrento a un error de "no se puede construir un tipo infinito" que no puedo entender. De hecho, más allá de eso, no he podido encontrar una buena explicación de lo que significa este error, por lo que si pudiera ir ...
Cabal reconstruye todo con la bandera de habilitar-compartido
Tengo un problema con la creación de una biblioteca compartida con ghc y creo que necesito reconstruir mis paquetes haskell con --enable-shared, ¿hay una manera fácil de reconstruir todos mis paquetes con cabal con la bandera --enable- ¿compartido
Cómo hacer un tipo con restricciones
Por ejemplo, quiero hacer un tipo MyType de triples enteros. Pero no solo producto cartesiano de tres enteros, quiero que el tipo represente todos (x, y, z) de modo que x + y + z = 5 ¿Cómo puedo hacer eso? Excepto de usar solo (x, y) ya que z = ...
Calling Haskell desde Java con C entre
Esto probablemente suena como una pesadilla, pero realmente me gustaría que esto funcione. Estoy usando este ejemplo en su mayor parte:Calling C de Haskell [http://www.haskell.org/haskellwiki/Calling_Haskell_from_C] y estoy tratando de hacer que ...
Haskell Monad une la confusión del operador
Ok, entonces no soy un programador de Haskell, pero estoy absolutamente intrigado por muchas de las ideas detrás de Haskell y estoy buscando aprenderlo. Pero estoy atrapado en el punto de partida: parece que no puedo entender a las mónadas, lo ...
Emacs se cuelga en modo haskell con la llamada inferior-haskell-load-file
Cuando en un archivo Haskell, usoC-c C-l para ejecutar el comandoinferior-haskell-load-file que está destinado a cargar el archivo actual en el intérprete GHCI pero Emacs simplemente se cuelga hasta que presionoC-g. ¿Alguien sabe cómo puedo hacer ...
¿Es posible hacer que un tipo sea una instancia de una clase si sus parámetros de tipo están en el orden incorrecto?
Considere el siguiente tipo: data SomeType m a = SomeType (m Integer) [a] Podemos hacer que ese tipo sea una instancia de Functor con el siguiente código: instance Functor (SomeType m) where fmap f (SomeType m lst) = SomeType m (map f lst)in ...
Desugaring do-notación para mónadas
A medida que estoy aprendiendo Haskell me estoy dando cuenta de quedo notación es solo azúcar sintético: a = do x <- [3..4] [1..2] return (x, 42)Se traduce com a = [3..4] >>= (\x -> [1..2] >>= (\_ -> return (x, 42))) Me doy cuenta de ...
Eliminación del azúcar sintáctico: Lista de comprensión en Haskell
¿Puedo anular la comprensión de la lista en esta expresión: [(i,j) | i <- [1..4], j <- [i+1..4]] Esta es la salida: [(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)] ¿Cómo puedo, con mapa, filtro, etc., escribir ese fragmento de código? edita Aquí hay ...
Cómo encontrar el número de núcleos en tiempo de ejecución en Haskell
Tiene Haskell un método para determinar la cantidad de núcleos de CPU presentes en una máquina en tiempo de ejecución?