Resultados de la búsqueda a petición "haskell"
Cómo dar sentido a la firma tipo Haskell para el operador Control.Arrow's '&&&'
Estoy tratando de entender cómo Haskell'sControl.Arrow's&&& [https://hackage.haskell.org/package/base-4.8.1.0/docs/Control-Arrow.h,tml#v:-38--38--38-] funciona, pero temo que estoy a punto de perder el rumbo. Específicamente, estoy confundido ...
error de declaración múltiple de tipo suma de haskell
data A=A data B=B data AB=A|BLo que hace una suma tipo AB de A y B. pero la última línea induce un error de compilación "múltiples declaraciones de B" También probé algo así: data A=Int|BoolSe compila. pero ¿por qué ghc no me permite hacer ...
Huella de memoria de los tipos de datos Haskell
¿Cómo puedo encontrar la cantidad real de memoria requerida para almacenar un valor de algún tipo de datos en Haskell (principalmente con GHC)? ¿Es posible evaluarlo en tiempo de ejecución (por ejemplo, en GHCi) o es posible estimar ...
Haskell: especificación de restricciones de igual longitud de listas en el sistema de tipos
En Haskell, a menudo tengo una función comof, que acepta una lista y devuelve una lista de igual longitud: f :: [a] -> [a] -- length f(xs) == length xsDel mismo modo, podría tener una función comog, que acepta dos listas que deberían tener la ...
Poner en orden las mónadas: convertir la aplicación de un transformador de mónada en mónada de nuevo tipo
Estoy tratando de tomar p.ExceptT a (StateT A M), para algún tipo de hormigónA y mónadaMy envolverlos en mis nuevas mónadas personalizadas. Primero identifiqué queStateT A M aparece a menudo en otros contextos y, por lo tanto, decidí que sería ...
El ejemplo más simple de transformador de mónada no trivial para "tontos", IO + Quizás
¿Podría alguien dar un ejemplo de transformador de mónada súper simple (pocas líneas), que no es trivial (es decir, no utiliza la mónada de identidad, eso entiendo). Por ejemplo, ¿cómo podría alguien crear una mónada que hace IO y puede ...
función simple que desplaza un elemento específico de una lista
Soy nuevo en Haskell y estoy tratando de descubrir cómo hacer una función: shift:: Eq a => a -> [a] -> Int -> [a] shift x (h:t) zEntrada: una lista genérica y un elemento x del mismo tipo Precondición: el elemento x existe en la ...
Mónada en términos que no son de programación [duplicado]
Posible duplicado: ¿Qué es una mónada? [https://stackoverflow.com/questions/44965/what-is-a-monad] ¿Cómo describirías una mónada en términos que no son de programación? ¿Hay algún concepto / cosa fuera de la programación (fuera de toda la ...
¿Cómo obtener el valor ASCII de un personaje en Haskell?
¿Cómo obtener el valor ASCII de un personaje en Haskell? He intentado usar elord funcionar en GHCi, basado en lo que leíaquí [http://haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/Data-Char.html#6] bug el mensaje de error: No dentro del ...
Ejemplo de función recursiva de Haskell con foldr
Comencé a aprender Haskell nuevamente, después de un breve receso y actualmente estoy tratando de comprender mejor cómo funcionan la recursividad y las expresiones lambda en Haskell. En esto:Video de Youtube [https://youtu.be/1IjBT9TSTyQ], hay ...