Resultados de la búsqueda a petición "monads"
¿Para qué sirve MonadBaseControl?
Estoy profundizando en las mónadas de Yesod, y me he encontrado con
Mónadas contra flechas
Estoy ampliamente familiarizado con los conceptos demónadas [http://en.wikipedia.org/wiki/Monads_in_functional_programming]yflechas [http://en.wikipedia.org/wiki/Arrows_in_functional_programming]como se usa en la programación funcional. También ...
¿Por qué los efectos secundarios se modelan como mónadas en Haskell?
¿Alguien podría dar algunos consejos sobre por qué los cálculos impuros en Haskell se modelan como mónadas? Quiero decir, mónada es solo una interfaz con 4 operaciones, entonces, ¿cuál fue el razonamiento para modelar los efectos secundarios?
Función Mónada sin secuencia dentro de Haskell
Tengo verdaderos problemas para diseñar la contrafunción de Haskellsequence función, que Hoogle me dice que aún no existe. Así es como se comporta: ghci> sequence [Just 7, Just 8, Just 9] Just [7,8,9] ghci> sequence [getLine, getLine, getLine] ...
¿Cómo guardar una estructura de datos de árbol en un archivo binario en Haskell
Estoy tratando de guardar una estructura de árbol simple (pero bastante grande) en un archivo binario usando Haskell. La estructura se ve así: -- For simplicity assume each Node has only 4 childs data Tree = Node [Tree] | Leaf [Int] Y así es ...
Permutaciones de una lista - Haskell
Quiero hacer todas las combinaciones posibles de subgrupos con 2 listas. Aquí hay una función que hace exactamente esto: getCombinations :: [a] -> [[a]] getCombinations na = do a <- na b <- na [[a,b]] Si pasa "abc" a esta función, devuelve ...
¿Puedo usar diferentes flujos de trabajo simultáneamente en F #?
Necesito que mi estado se transmita al mismo tiempo que puedo encadenar funciones con el flujo de trabajo tal vez. ¿Hay alguna manera de que 2 flujos de trab...
Cuál es la diferencia entre los diferentes ordenamientos de los mismos transformadores de mónada?
stoy intentando definir una API para expresar un tipo particular de procedimiento en mi programa. newtype Procedure a = { runProcedure :: ? }Hay estado, que consiste en una asignación de ID a registros: type ID = Int data Record = { ... } type ...
Implementación de Haskell-MaybeMonad en F #: ¿cómo podemos ser tan flojos?
estamos tratando de construir la muestra Haskell-MaybeMonad a partir de http://www.haskell.org/all_about_monads/html/maybemonad.html [http://www.haskell.org/all_about_monads/html/maybemonad.html]en F #. La idea es buscar una dirección de correo ...
Buscando críticas constructivas sobre la implementación de la mónada
Estoy aprendiendo mónadas, este es mi primer trabajo (aparte de la mónada trivial). Siéntase libre de criticar todo en él sin piedad. Me interesan especialmente las respuestas "más idiomáticas" y "más elegantes". Esta mónada cuenta el número de ...