Resultados de la búsqueda a petición "monads"
¿Es posible hacer la mónada IO de Haskell en Clojure?
He echado un vistazo a laalgo.monads [https://github.com/clojure/algo.monads/wiki]yfluokitten [http://fluokitten.uncomplicate.org/articles/functors_applicatives_monads_in_pictures.html] documentación. También he leído las entradas de blog de ...
¿Cómo puedo usar parMap con una función monádica?
Tengo una función monádica getRate: getRate :: String -> IO DoubleMe gustaría asignar esta función a una lista de cadenas. Normalmente, solo haría: mapM getRate ["foo", "bar"]pero dado que cada llamada a getRate realiza llamadas de red, me ...
Obtenga valor de IO en lugar del cálculo en sí
Siendo bastante nuevo en Haskell, actualmente estoy tratando de mejorar mis habilidades escribiendo un intérprete para un lenguaje de juguete simple e imperativo. Una de las expresiones en este idioma esinput, que lee un solo entero de ...
La instancia de aplicación para MaybeT m asume Monad m
He estado usando elHaxl mónada (descrita aquí: http://www.reddit.com/r/haskell/comments/1le4y5/the_haxl_project_at_facebook_slides_from_my_talk [http://www.reddit.com/r/haskell/comments/1le4y5/the_haxl_project_at_facebook_slides_from_my_talk] ), ...
Buscando críticas constructivas sobre la implementación de la mónada
Estoy aprendiendo mónadas, este es mi primer trabajo (aparte de la mónada trivial). Siéntase libre de criticar todo en él sin piedad. Me interesan especialmente las respuestas "más idiomáticas" y "más elegantes". Esta mónada cuenta el número de ...
¿Por qué se escribe "vincular" como >> = en Haskell Monads?
¿Cuáles son los orígenes de la sintaxis ">> =" y ">>" en Haskell Monads? No estoy buscando una explicación de cómo funcionan las mónadas, sino por qué los diseñadores de idiomas eligieron esa sintaxis. Para mí, ">> =" y ">>" parece algo ...
¿Por qué usar un tipo de función tan peculiar en las mónadas?
Nuevo en Haskell, y estoy tratando de descubrir esta cosa de la mónada. El operador de enlace monádico ->>= - tiene una firma tipo muy peculiar: (>>=) :: Monad m => m a -> (a -> m b) -> m bPara simplificar, sustituyamosMaybe param: (>>=) :: ...
¿Qué es una mónada?
Habiendo mirado brevemente a Haskell recientemente, ¿cuál sería unbreve, sucinto, práctico explicación de lo que esencialmente es una mónada? La mayoría de las explicaciones que he encontrado son bastante inaccesibles y carecen de detalles ...
¿Cómo deja de construir una Opción [Colección] al llegar a la primera Ninguna?
Al construir una colección dentro de unOption, cada intento de hacer que el siguiente miembro de la colección falle, lo que hace que la colección en su conjunto también sea un fracaso. Ante el primer fracaso para hacer un miembro, me gustaría ...
¿Hay una mónada que no tenga un transformador de mónada correspondiente (excepto IO)?
Hasta ahora, cada mónada (que se puede representar como un tipo de datos) que he encontrado tenía un transformador de mónada correspondiente, o podría tener uno. ¿Existe una mónada que no pueda tener una? O¿Todas las mónadas tienen ...