Soy nuevo en Haskell y después de comenzar ghciprobé: f x = 2 * x y obtuve: <interactive>:1:4: parse error on input `=' que no entiendo. Curiosamente, funcionó bien antes. Supongo que he hecho un Haskell mal configurado. Reinstalar ghc6 no resuelve el problema. Para obtener información,...
No soy muy competente en Haskell, por lo que esta podría ser una pregunta muy fácil. ¿Qué limitación de idioma resuelve Rank2Types ? ¿Las funciones en Haskell ya no admiten argumentos
Los candidatos componen, las mónadas no. ¿Qué significa la declaración anterior? ¿Y cuándo es preferible uno a
En su forma actual, esta pregunta no se ajusta bien a nuestro formato de preguntas y respuestas. Esperamos que las respuestas estén respaldadas por hechos, referencias o experiencia, pero es probable que esta pregunta solicite debate, argumentos, encuestas o una discusión extensa....
Cerrado . Esta pregunta se basa en opiniones . Actualmente no acepta respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda responderse con hechos y citas editando esta publicación . Cerrado hace 2 años . Mejora esta...
¿Existe una buena razón por la que el tipo de Prelude.read sea read :: Read a => String -> a en lugar de devolver un Maybevalor? read :: Read a => String -> Maybe a Dado que la cadena podría no ser analizable Haskell, ¿no sería esto último más natural? O incluso Either String a,...
En el capítulo 19 de Real World Haskell, muchos de los ejemplos ahora fallan debido al cambio de Control.Exception. Eso me hace pensar que tal vez algunas de las cosas de este libro son obsoletas y ya no vale la pena estudiarlas, después de todo, han pasado 6 años. Mi única otra referencia es...
Cerrado. Esta pregunta no cumple con las pautas de Stack Overflow . Actualmente no acepta respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que esté relacionada con el tema de Stack Overflow. Cerrado hace 4 años . Mejora esta...
No puedo entender por qué aparentemente m1 está memorizado mientras que m2 no está en lo siguiente: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000 tarda aproximadamente 1,5 segundos en la primera llamada, y una fracción de eso en las llamadas posteriores...
Estoy intentando habilitarlo XRankNTypesen GHCi. ¿Cómo hago
Recientemente descubrí que los agujeros de tipo combinados con la coincidencia de patrones en las pruebas brindan una experiencia bastante agradable al estilo de Agda en Haskell. Por ejemplo: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data...
¿Qué es la clase de tipo Comonad en Haskell? Como en Comonad de Control.Comonad en el paquete comonad (también se agradecen las explicaciones de cualquier otro paquete que proporcione una clase de tipo Comonad). He oído hablar vagamente de Comonad, pero todo lo que realmente sé es que proporciona...
En su forma actual, esta pregunta no se ajusta bien a nuestro formato de preguntas y respuestas. Esperamos que las respuestas estén respaldadas por hechos, referencias o experiencia, pero es probable que esta pregunta solicite debate, argumentos, encuestas o una discusión extensa....
Ayer me enteré de una nueva herramienta de Haskell llamada Stack . A primera vista, parece que hace el mismo trabajo que Cabal. Entonces, ¿cuál es la diferencia entre ellos? ¿Es stack un reemplazo para Cabal? ¿En qué casos debería usar Stack en lugar de Cabal? ¿Qué puede hacer Stack que Cabal no...
Mientras resolvía algunos problemas del Proyecto Euler para aprender Haskell (por lo que actualmente soy un principiante) me encontré con el Problema 12 . Escribí esta solución (ingenua): --Get Number of Divisors of n numDivs :: Integer -> Integer numDivs n = toInteger $ length [ x | x<-[2.....
Los tipos de datos algebraicos (ADT) en Haskell pueden convertirse automáticamente en instancias de algunos tipos de clases (comoShow,Eq) derivando de ellos. data Maybe a = Nothing | Just a deriving (Eq, Ord) Mi pregunta es, ¿cómo funciona esto deriving , es decir, cómo sabe Haskell cómo...
La seguridad de tipos de Haskell es insuperable solo para los lenguajes de escritura dependiente. Pero hay algo de magia profunda sucediendo con Text.Printf que parece bastante inestable . > printf "%d\n" 3 3 > printf "%s %f %d" "foo" 3.3 3 foo 3.3 3 ¿Cuál es la magia profunda detrás de...
Tengo tres funciones que encuentran el enésimo elemento de una lista: nthElement :: [a] -> Int -> Maybe a nthElement [] a = Nothing nthElement (x:xs) a | a <= 0 = Nothing | a == 1 = Just x | a > 1 = nthElement xs (a-1) nthElementIf :: [a] -> Int -> Maybe a nthElementIf [] a =...
Cerrado . Esta pregunta debe estar más enfocada . Actualmente no acepta respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que se centre en un solo problema editando esta publicación . Cerrado hace 5 años . Mejora esta pregunta...
Comportamiento actual Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an...