Resultados de la búsqueda a petición "monads"
¿Future in Scala es una mónada?
Por qué y cómo es específicamente un futuro Scala no una mónada; y alguien podría compararlo con algo que es una mónada, como una opción? La razón por la que pregunto es de Daniel WestheideLa guía del neófito para Scala Parte 8: Bienvenido al ...
Función Mónada sin secuencia dentro de Haskell
Tengo verdaderos problemas para diseñar la contrafunción de Haskellsequence función, que Hoogle me dice que aún no existe. Así es como se comporta: ghci> sequence [Just 7, Just 8, Just 9] Just [7,8,9] ghci> sequence [getLine, getLine, getLine] ...
¿Cómo hacer que ReaderT funcione con otro transformador de mónada?
Me gustaría incrustarReaderT en otro transformador de mónada. ¿Cómo hago esto? El siguiente ejemplo utilizaScotty [http://hackage.haskell.org/package/scotty-0.9.0/docs/Web-Scotty-Trans.html]pero creo que sería lo mismo con cualquier otra ...
¿Cómo manejar la mónada `Reader` y` Try '?
Estoy leyendo este gran artículo sobreinyección de dependencia en scala con mónada Reader [http://blog.originate.com/blog/2013/10/21/reader-monad-for-dependency-injection/] . El ejemplo original funciona bien, pero hice un pequeño cambio en los ...
Comprender la mónada aleatoria en Scala
Este es un seguimiento de mi anteriorpregunta [https://stackoverflow.com/questions/25647407/monte-carlo-calculation-of-pi-in-scala] Travis Brown [https://stackoverflow.com/users/334519/travis-brown]señaló esojava.util.Random tiene efectos ...
¿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 ...
¿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 ...
¿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: (>>=) :: ...
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] ), ...