Resultados de la búsqueda a petición "monads"
Haskell - "La última declaración en una construcción 'hacer' debe ser una expresión"
Como dice en el título: ¿Qué hace?
¿Es posible hacer la Mónada Libre en Clojure?
Ha habido un trabajo excepcional con Monads en Clojure porKonrad Hinsen, Jim Duey yLeonardo Borges.Mi pregunta es: ¿es posible hacer la mónada gratis en Cloj...
Scala: ¿cómo entender el método flatMap de Try?
El método flatMap del éxito se implementa así:
¿Cómo escribir una mónada que imprima “paso i de N” al ejecutar cada instrucción en la mónada?
Ni siquiera estoy seguro de que esto sea posible en cualquier tipo de mónada; ¿Viola las leyes de la mónada? Pero parece algo que debería ser posible en algú...
Delimitando la mónada IO
Es bueno saber (en Safe Haskell, al menos) de la firma si algo realiza o no acciones de IO, pero IO abarca muchas cosas diferentes:
¿Cómo se puede modelar el no determinismo con una mónada de lista?
¿Alguien puede explicar (mejor con un ejemplo en inglés simple) lo que puede hacer una mónada de la lista para modelar cálculos no deterministas? Es decir, c...
¿Pliegue monádico con mónada estatal en espacio constante (montón y pila)?
¿Es posible realizar un pliegue en la mónada de estado en el espacio de pila y pila constante? ¿O es una técnica funcional diferente que se adapta mejor a mi...
combinando StateT con InputT
Es un seguimiento deesta pregunta [https://stackoverflow.com/questions/37908718/keeping-track-of-history-in-ghci]. Estoy tratando de combinarshell de @ ErikR'sresponder [https://stackoverflow.com/a/37909749/165753]en miInputT lazo. main :: IO ...