Resultados de la búsqueda a petición "monads"
Relax restricciones de pedido en computación monádica
He aquí algunos elementos de reflexión Cuando escribo código monádico, la mónada impone el orden en las operaciones realizadas. Por ejemplo, si escribo en la mónada IO: do a <- doSomething b <- doSomethingElse return (a + b)Lo sédoSomething ...
Uso del estado de Haskell mónada un olor a código?
Dios, odio el término "olor a código", pero no se me ocurre nada más preciso. Estoy diseñando un lenguaje y compilador de alto nivel para Espacio en blanco [http://compsoc.dur.ac.uk/whitespace/] en mi tiempo libre para aprender sobre ...
Haskell: ¿implementación real de IO monad, en un idioma diferente?
Cómo se implementa realmente IO monad? En el sentido de cuál sería la implementación real demain función? ¿Cómo llamaría a la función haskell (IO) desde otro idioma y, en ese caso, necesito mantener mi I Hacemain extrae acciones de E / S ...
Ayude a un desarrollador de C # a comprender: ¿Qué es una mónada?
Actualmente se habla mucho de mónadas. He leído algunos artículos / publicaciones de blog, pero no puedo ir lo suficientemente lejos con sus ejemplos para comprender completamente el concepto. La razón es que las mónadas son un concepto de ...
os candidatos componen, las mónadas n
os candidatos componen, las mónadas n ¿Qué significa la declaración anterior? ¿Y cuándo es preferible uno a otro?
Cuando usar mónadas Haskell
Estoy implementando un algoritmo de optimización combinatoria en Haskell: Given an initial candidate solution, repeat until stopping criteria are met: 1. Determine possible moves 2. Evaluate possible moves 3. Choose a move 4. Make move, record ...
¿Buenos ejemplos de Not a Functor / Functor / Applicative / Monad?
ientras le explico a alguien qué tipo de clase X es, lucho por encontrar buenos ejemplos de estructuras de datos que sean exactamente X. Entonces, solicito ejemplos para: Un constructor de tipos que no es un Functor. Un constructor de tipos ...
Cómo extraer un valor de una mónada en Haskell?
¿Hay alguna forma de sacar "cosas" de una mónada? Estoy desarrollando un juego y ahora estoy tratando de entender las bases de datos. Encontréhappstack [http://www.happstack.com/page/view-page-slug/1/happstack] realmente agradable, pero no ...
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 ...
¿Por qué tenemos map, fmap y liftM?
map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b ¿Por qué tenemos tres funciones diferentes que hacen esencialmente lo mismo?