monad-transformers

6El calor

2Respuesta

Ejemplo de una gran pila de Monad

Como dice el título, estoy buscando un programa que use mónada-transformadores en combinación con una gran pila de Mónadas. ¿Alguien conoce un ejemplo del mundo real?

haskell monads monad-transformers 2012-10-12

---

10El calor

1Respuesta

Cómo utilizar EitherT de Scalaz 7 con liftM

Si tengo un tipo de transformador mónada tomar dos argumentos de tipo, puedo usar liftM para levantar los valores en la mónada transformado: scala> val o = 1.point[List].liftM[OptionT] o: scalaz.Opti

scala scalaz monad-transformers 2012-10-12

---

5El calor

1Respuesta

¿Cómo ejecuto realmente una mónada StateT junto con IO?

Estoy tratando de seguir los consejos dados en Combine state with IO actions para construir un AppState junto con una món IO. Lo que obtuve es esto: module Main where import Control.Monad.State imp

haskell monads monad-transformers 2012-07-06

---

5El calor

1Respuesta

Ascensor transformador mónada ErrorT

creo que me falta algún conocimiento básico de los transformadores mónada, porque me encontré escribiendo este código: import Control.Monad.Identity import Control.Monad.Error liftError :: Either S

haskell monads monad-transformers 2012-04-04

---

5El calor

1Respuesta

¿Por qué no se puede convertir ContT una instancia de MonadError?

Tengo una pila de transformador de mónada que incluye un ErrorT y quiero envolver un transformador ContT r alrededor de todo. Cuando trato de hacer eso, mis llamadas al throwError generan errores tipo

haskell monads monad-transformers 2012-05-24

---

19El calor

2Respuesta

¿Se aplican los transformadores de mónada para obtener JSON de los servicios?

¡Tengo un juego! 2 para la aplicación Scala que necesita recuperar algunos datos en formato JSON desde un servicio externo. The Play! framework permite realizar solicitudes HTTP de forma asíncrona al

scala playframework-2.0 monads monad-transformers 2012-09-03

---

10El calor

3Respuesta

combinando mónadas de may y seq: confundidas en la salida

Estoy intentando componer seq-m y error-m para hacer una lista de las cosas que pueden devolver errores. Mi salida tiene tipos inesperados, aunque aparte de eso, en realidad parece ser sensato. Explot

python haskell clojure monads monad-transformers 2012-04-07

---

6El calor

1Respuesta

¿Puedo usar transformadores de mónada para simplificar esta composición?

supongamos que tengo type VS[A] = Validation[String, A] val v: VS[Option[A]] val f: A => VS[B] Quiero conseguir un resultado de tipo VS[Option[B]] pero si v es una Success(None), el resultado tam

scala functional-programming scalaz monad-transformers kleisli 2012-06-01

---

10El calor

3Respuesta

Combinar F # asíncrono y tal vez la expresión de cálculo

decir que quiero devolver un Option mientras que en un async flujo de trabajo: let run = async { let! x = doAsyncThing let! y = doNextAsyncThing x match y with | None -> r

asynchronous f# monads monad-transformers computation-expression 2012-09-11

---

24El calor

1Respuesta

¿Por qué el transformador de mónada ListT se considera defectuoso? ¿Qué leyes de mónada se rompen?

que he visto mencionado que ListT es un ejemplo clásico de un transformador mónada con errores que no satisface la monad laws. ¿Se puede demostrar esto con un simple ejemplo? Editar: Mi idea con ListT

haskell functional-programming monads monad-transformers 2012-09-27

---