Resultados de la búsqueda a petición "monads"
¿En qué sentido es puro el IO Monad?
La mónada IO me describió como una mónada estatal donde el estado es "el mundo real". Los defensores de este enfoque de IO sostienen que esto hace que las operaciones de IO sean puras, como referencialmente transparentes. ¿Porqué es eso? Desde mi ...
¿Qué ventajas tiene scala.util. Try sobre try..catch?
Buscar en línea la respuesta da dos publicaciones destacadas ...
Aplicativo No trabaje con secuenciación
Tengo este tipo, básicamente una flecha de Kleisli: {-# language DeriveFunctor #-} data Plan m i o = Plan (i -> m o) deriving Functor instance (Monad m) => Applicative (Plan m i) where pure x = Plan (\_ -> pure x) Plan f <*> Plan x = Plan (\i -> ...
¿Cómo funcionan juntos las tuberías y las mónadas en JavaScript?
He examinado preguntas y respuestas similares y no he encontrado una respuesta que responda directamente a mi pregunta. Estoy luchando por entender cómo usarMaybe oEitheroMonads en conjunción con las funciones de tubería. Quiero canalizar las ...
¿Por qué son promesas mónadas?
He estado aprendiendo sobre programación funcional y me he encontrado con mónadas, functores y aplicantes. Según tengo entendido, se aplican las siguientes definiciones: a) (A => B) => C [A] => C [B] | Functor b) (A => C [B]) => C [A] => C [B] ...
Convertir IO Int a Int
He creado un cuadro combinado al convertir unxmlWidget a uncomboBox con la funcióncastTocomboBox y ahora quiero obtener el texto o el índice del elemento activo. El problema es que si uso elcomboBoxGetActive función devuelve unIO Int resultado y ...
¿Por qué la función de vinculación de Haskell toma una función de no monádico a monádico?
Tengo algunas preguntas sobre la definición de la función de enlace.(>>=) en Haskell Debido a que Haskell es un lenguaje puro, podemos usar Monad para manejar operaciones con efectos secundarios. Creo que esta estrategia es algo así como poner ...
¿Cómo debería ser una clase de "orden superior transitable"?
Enesta respuesta [https://stackoverflow.com/a/44186072/7951906]Inmediatamente inventé algo que se parece un poco a un "orden superiorTraversable": me gustaTraversable pero para functors de la categoría de endofunctors en Hask to Hask. {-# ...
¿Por qué no se ejecutará un IO anidado en otras mónadas? ¿Hay alguna manera de obligarlos a hacerlo?
Este es un seguimiento de mi última pregunta.Acción IO anidada en otras mónadas que no se ejecutan [https://stackoverflow.com/questions/42382396/io-action-nested-in-other-monads-not-executing] La solución a esa pregunta fue eliminar algunas de ...
La ley de unidad izquierda de Monad no parece ser válida para las listas en escala. ¿Las listas de escala no son mónadas entonces?
"Ley de la unidad izquierda" de las mónadas: unit(x) flatMap f == f(x)Pero: (List(1) flatMap ((x: Int) => Some[Int](x))) == List(1) // true ((x: Int) => Some[Int](x))(1) == Some(1) // also truePor lo tanto, la ley de unidad izquierda no se ...