Resultados de la búsqueda a petición "monads"
¿Por qué necesitamos mónadas?
En mi humilde opinión, las respuestas a la famosa pregunta"¿Qué es una mónada?" [https://stackoverflow.com/questions/44965/what-is-a-monad], especialmente los más votados, intenta explicar qué es una mónada sin explicar claramentepor qué las ...
¿Qué es la mónada indexada?
Que esmónada indexada [https://hackage.haskell.org/package/indexed-0.1/docs/Control-Monad-Indexed.html] y la motivación para esta mónada? He leído que ayuda hacer un seguimiento de los efectos secundarios. Pero la firma de tipo y la ...
¿Debo implementar Applicative y Functor para implementar una mónada?
Estoy tratando de implementar una instancia de Monad. Como ejemplo más simple, suponga lo siguiente: data Maybee a = Notheeng | Juust a instance Monad Maybee where return x = Juust x Notheeng >>= f = Notheeng Juust x >>= f = f x fail _ = ...
Problema de mónada STM
Este es solo un escenario hipotético para ilustrar mi pregunta. Supongamos que hay dos hilos y un TVar compartido entre ellos. En un hilo hay un bloque atómico que lee el TVar y tarda 10 segundos en completarse. En otro hilo hay un bloque atómico ...
¿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 ...
Haskell do cláusula con múltiples tipos de mónada
Estoy usando una biblioteca gráfica en Haskell llamadaThreepenny-GUI [http://hackage.haskell.org/package/threepenny-gui]. En esta biblioteca, la función principal devuelve ...
¿Haskell es realmente puro (es algún lenguaje que se ocupe de entradas y salidas fuera del sistema)?
Después de tocar Monads con respecto a la programación funcional, ¿la característica realmente hace que un lenguaje sea puro, o es solo otra "tarjeta de salida de la cárcel" para razonar los sistemas informáticos en el mundo real, fuera de las ...
Mónada de continuación para una función de rendimiento / espera en Haskell
Quiero crear un tipo de autómata con un tipo como este: newtype Auto i o = Auto {runAuto :: i -> (o, Auto i o)}Sé que este es el tipo deFlecha de ...
¿Por qué no es `join` parte de la clase` Monad` [duplicado]
Esta pregunta ya tiene una respuesta aquí: ¿Por qué la unión es independiente, en lugar de ser parte de la implementación mínima de la clase de tipos ...
Implementación de Haskell-MaybeMonad en F #: ¿cómo podemos ser tan flojos?
estamos tratando de construir la muestra Haskell-MaybeMonad a partir de http://www.haskell.org/all_about_monads/html/maybemonad.html [http://www.haskell.org/all_about_monads/html/maybemonad.html]en F #. La idea es buscar una dirección de correo ...