Resultados de la búsqueda a petición "monads"
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 ...
Do declaración bajo una cláusula where
Estoy tratando de convertirIO [String] a[String] con<- Unión; sin embargo, necesito usar unado bloque para hacer eso bajo unwhere, pero Haskell se queja de la sangría todo el tiempo. Aquí está el código: decompEventBlocks :: IO [String] -> IO ...
No hay una instancia estándar (ya sea) de mónada?
Tenía la impresión de que había una instancia para O en alguna parte, pero parece que no puedo encontrarla. He intentado importar Control.Monad, Control.Monad.Instances y Data. Como se muestra en module Main where import Control.Monad import ...
¿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 ...
Cómo devolver un valor puro de un método impuro
Sé que debe sonar trivial, pero me preguntaba cómo puede desenvolver un valor de un functor y devolverlo como valor puro. Yo he tratado f::IO a->a f x=(x>>=) f= >>= ¿Qué debo colocar en el lado derecho? No puedo usarreturn ya que lo envolverá ...
Scala Cats Effects - IO Async Shift - ¿Cómo funciona?
Aquí hay un código de gatos Scala usando elIO Monad [https://github.com/typelevel/cats-effect]: import java.util.concurrent.{ExecutorService, Executors} import cats.effect.IO import scala.concurrent.{ExecutionContext, ExecutionContextExecutor} ...
Cómo usar (->) instancias de Monad y confusión sobre (->)
En diferentes preguntas he encontrado pistas en los comentarios sobre el uso de(->) instancia de mónadas, p. para realizar un estilo sin puntos. En cuanto a mí, esto es un poco demasiado abstracto. Ok, he visto instancias de Arrow en(->) y me ...
Diferencia entre State, ST, IORef y MVar
Estoy trabajando a través deEscribe un esquema en 48 horas [http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours] (Tengo hasta 85 horas aproximadamente) y he llegado a la parte sobreAgregar variables ...
Conjuring JQuery diferido con encantamientos monádicos
Inspirado porest [http://blog.jcoglan.com/2011/03/11/promises-are-the-monad-of-asynchronous-programming/] (excelente) discusión sobre el uso de Promesas en javascript, estoy tratando de averiguar cómo podría usar Diferido para encadenar ...
Utilizando la Mónada Quizás en "reversa"
Digamos que tengo varias funciones: f :: a -> Maybe a g :: a -> Maybe a h :: a -> Maybe a Y quiero componerlos de la siguiente manera: si f no devuelve nada, calcule g. Si g no devuelve nada, calcule h. Si alguno de ellos calcula solo a, pare ...