Resultados de la búsqueda a petición "monads"
La ley de unidad izquierda de Monad no parece ser válida para las listas en escala. ¿Las listas de escala no son mónadas entonces?
"Ley de la unidad izquierda" de las mónadas: unit(x) flatMap f == f(x)Pero: (List(1) flatMap ((x: Int) => Some[Int](x))) == List(1) // true ((x: Int) => Some[Int](x))(1) == Some(1) // also truePor lo tanto, la ley de unidad izquierda no se ...
Conjuring JQuery diferido con encantamientos monádicos
Inspirado porest [http://blog.jcoglan.com/2011/03/11/promises-are-the-monad-of-asynchronous-programming/] (excelente) discusión sobre el uso de Promesas en javascript, estoy tratando de averiguar cómo podría usar Diferido para encadenar ...
¿Por qué Haskell no tiene una Mónada I (solo para entrada, a diferencia de la mónada IO)?
Conceptualmente, parece que un cálculo que realiza la salida es muy diferente de uno que realiza solo la entrada. Este último es, en cierto sentido, mucho más puro. I, por mi parte, me gustaría tener una manera de separar las partes de ...
Ayúdame a entender este código Scala: scalaz IO Monad e implicits
Esta es una continuación deest [https://stackoverflow.com/questions/7404495/help-me-understand-this-scala-code-scalaz-io-monad] pregunta. Aquí está el código que estoy tratando de entender (es ...
Mónada estatal, ¿por qué no una tupla?
Acabo de pensar en las mónadas (al menos me gustaría pensar que lo tengo) y, más específicamente, en la mónada estatal, que algunas personas que son mucho más inteligentes que yo descubrimos, así que probablemente estoy fuera de esta pregunta ...
¿Cuál es un ejemplo de una Mónada que es una alternativa pero no una Mónada?
Ensu respuesta a la pregunta“Distinción entre clases de tipos.
Restringir una mónada a una clase de tipo
En Haskell, ¿hay alguna manera de restringir una mónada?M a así que esoa satisfacer una restricción de clase de tipo? Estoy traduciendo elejemplo de modelado ...