Resultados de la búsqueda a petición "monads"
Definir una nueva mónada en Haskell no plantea instancias para Applicative
Estoy tratando de definir una nueva mónada y recibo un error extraño newmonad.hs newtype Wrapped a = Wrap {unwrap :: a} instance Monad Wrapped where (>>=) (Wrap x) f = f x return x = Wrap x main = do putStrLn "yay" $ ghc --version The Glorious ...
Generador de números aleatorios funcionales puros - mónada estatal
El libro 'Programación Funcional en Scala'muestra un ejemplo de generador de números aleatorios funcionales puros como se muestra a continuación trait RNG { def nextInt: (Int, RNG) } object RNG { def simple(seed: Long): RNG = new RNG { def ...
Relación de mónada libre y AST
Me refiero al código fuente de Ken Scambler que se enumera a continuación, también veaFuente de GitHub [https://github.com/kenbot/free/blob/master/src/main/scala/kenbot/free/KVS.scala] . package kenbot.free import scalaz._ import Scalaz._ import ...
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 ...
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 ...
Usando diferentes mónadas en la comprensión
¿Se pueden usar diferentes mónadas para comprender? Aquí está el código que usamap case class Post(id: Int, text: String) object PostOps { def find(id: Int) : Option[Post] = if (id == 1) Some(Post(1, "text")) else None def permitted(post: Post, ...
¿Qué significa exactamente "eficaz"
Una y otra vez leo el términoeficaz, pero aún no puedo dar una definición clara de lo que significa. Supongo que el contexto correcto es efectivocomputaciones, pero también he visto el término ...
¿Es `data PoE a = Empty | ¿Emparejar a a` a mónada?
Esta pregunta proviene de esta respuesta enejemplo de un functor que es aplicativo pero no una mónada [https://stackoverflow.com/a/49703783/412549]: Se afirma que el data PoE a = Empty | Pair a a deriving (Functor,Eq)no puede tener una ...
Operando en un retorno de un Quizás que contiene "Just"
Tengo una función que tiene un tipo de retorno deMaybe ([(Int,Int)],(Int,Int)) Me gustaría llamar a esto desde otra función y realizar una operación en los datos. Sin embargo, el valor de retorno está contenido dentro deJust. El segundo ...
Mezcle y combine cálculos con estado dentro de la mónada estatal
El estado de mi programa consta de tres valores,a, bycde tiposA, ByC. Las diferentes funciones necesitan acceso a diferentes valores. Quiero escribir funciones usando elState mónada para que cada función solo pueda acceder a las partes del estado ...