Resultados de la búsqueda a petición "monads"
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 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á ...
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 ...
¿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 ...
¿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 ...
¿Por qué `mfix` no es total en` MaybeT`
losimplementación de transformadores [https://hackage.haskell.org/package/transformers-0.5.5.0/docs/src/Control.Monad.Trans.Maybe.html#line-186] deMonadFix paraMaybeT falla si la función alguna vez se evalúa comoNothing. Por que esNothing sin ...
¿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] ...
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 ...
¿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. {-# ...