monad-transformers

Hackage tiene varios paquetes para monad transformers: mtl : Monad transformer library transformadores : Transformadore ... os de alguna manera? ¿Y Andy y Ross consideran que alguno de sus propios paquetes es obsoleto? ¿Cuál debe usted y yo ¿usar?

Las mónadas pueden hacer muchas cosas increíbles y locas. Pueden crear variables que contienen una superposición de valores. ... s en el registro. (Obviamente esto impide alterar el estado entre pasos, ya que realmente no estamos "pausando" nada ahora.)

Tengo un problema para que una pila de transformadores de mónada (o incluso un transformador de mónada) sobre IO. Todo está b ... o es realmente de tipos mixtos? ¿No sería bueno si GHC lanzó un poco de azúcar sintáctica (por ejemplo, <-$ = <- lift)?

Cada otra mónada viene con una versión transformadora, y por lo que sé la idea de un transformador es una extensión genérica ... age para el transformador ST menciona un problema posiblemente relacionado en su descripción, pero no ofrece ningún detalle.)

Desde este hilo (Control.Mónada.Cont fun, 2005), Tomasz Zielonka introdujo una función (comentada de una manera clara y agra ... undefined Agrega esas líneas, compila y ejecuta. Todos los números están impresos. ¿Qué ha pasado en el ejemplo anterior?

Podría alguien dar un ejemplo de transformador de mónada súper simple (pocas líneas), que no es trivial (es decir, no usar la ... la mónada IO+Maybe o la mónada Maybe+IO? ¿Tendría sentido crear tal mónada compuesta? En caso afirmativo, ¿cuándo y por qué?

Me encontré con la mónada RWS y su monadtransformador mientras buscaba algo en la biblioteca mtl. No hay documentación real ... una pila de esos tres transformadores mónadas. Lo que no puedo entender es por qué esto es mejor que el Estado por sí mismo.

Hay muchas bibliotecas diferentes de monad transformers en Hackage. Unos pocos parecen recibir más atención que los otros. Po ... mtlx, contstuff. ¿Cuál debería preferirse y por qué? ¿Cuáles son sus características únicas? ¿Qué pasa con el rendimiento?

Te daré el tl; dr por adelantado Estoy tratando de usar el transformador de mónada de estado en Scalaz 7 para enhebrar esta ... ar el estado a través de un analizador sintáctico, pero los ejemplos de Scalaz 6 o Haskell también serían útiles y apreciado.

He visto mencionado que ListT es un ejemplo clásico de un transformador de mónada con errores que no satisface las leyes ... ne este requisito, o hay otro problema? (Los ejemplos en Haskell wiki todos usan ListT IO y IO obviamente no es conmutativo.)

Digamos que tengo algo foo :: Maybe Int y quiero enlazarlo, por ejemplo, con bar :: Int -> MaybeT (Writer String) Int, ¿cu ... ail "Nothing") return in liftMaybe foo >>= bar ¿Pero hay una forma más idiomática (o al menos concisa) de hacer eso?