Resultados de la búsqueda a petición "monads"
Función de unión a mónada
Si bien las mónadas están representadas en Haskell utilizando las funciones de vinculación y retorno, también pueden tener otra representación utilizando la función de unión, comodiscutido ...
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 ...
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 ...
¿Por qué es flatMap en un Vector [Opción [Int]] cuyo resultado de la función del mapeador no es un Vector [Opción [Int]] válido?
Por ejemplo, Vector(Some(1), Some(2), Some(3), None).flatMap{ n => n }produce unVector(1, 2, 3) en lugar de dar un error Como he visto en otros idiomas,flatMap se usa cuando tiene una función de mapeador que produce anidamiento, por lo que ...
Aplicativo es mónar lo que X es comonad
¿Podemos resolver esta ecuación para X? Aplicativo es mónar lo que X es comonad
Mónada más potente que aplicativo?
Mirédiscusión pasada [https://stackoverflow.com/questions/23342184/difference-between-monad-and-applicative-in-haskell] pero no podía ver por qué ninguna de las respuestas es correcta. Aplicativo <*> :: f (a -> b) -> f a -> f b Monada (>>=) ...
Monoid vs MonadPlus [duplicado]
Esta pregunta ya tiene una respuesta aquí: ¿Por qué MonadPlus y no Monad + Monoid? [/questions/23023961/why-monadplus-and-not-monad-monoid] 2 respuestas Soy muy nuevo para ambosMonads yMonoids y recientemente también aprendí sobreMonadPlus. Por ...
¿Por qué envolver la mónada Data.Binary.Put crea una pérdida de memoria? (Parte 2
Como en miPregunta anterio [https://stackoverflow.com/questions/4828902/why-wrapping-the-data-binary-put-monad-creates-a-memory-leak] , Estoy tratando de envolver la mónada Data.Binary.Put en otra mónada para que luego pueda hacer preguntas como ...
¿Cuál es un ejemplo explícito de una mónada sin transformador de mónada? [duplicar
Esta pregunta ya tiene una respuesta aquí: Existe una mónada que no tenga un transformador de mónada correspondiente (excepto IO)? [/questions/24515876/is-there-a-monad-that-doesnt-have-a-corresponding-monad-transformer-except-io] 4 ...
¿Por qué Haskell no tiene una Mónada I (solo para entrada, a diferencia de la mónada IO)?
Conceptualmente, parece que un cálculo que realiza la salida es muy diferente de uno que realiza solo la entrada. Este último es, en cierto sentido, mucho más puro. I, por mi parte, me gustaría tener una manera de separar las partes de ...