Preguntas etiquetadas con monads

Habiendo mirado brevemente a Haskell recientemente, ¿cuál sería un explicación breve, sucinta y práctica de lo que esencialmente es una mónada? La mayoría de las explicaciones que he encontrado son bastante inaccesibles y carecen de detalles prácticos.

1415 haskell  functional-programming  monads  terminology 

En términos que un programador de OOP entendería (sin ningún fondo de programación funcional), ¿qué es una mónada? ¿Qué problema resuelve y cuáles son los lugares más comunes en los que se usa? EDITAR: Para aclarar el tipo de comprensión que estaba buscando, digamos que estaba convirtiendo una aplicación FP …

743 oop  functional-programming  monads 

¿Quién dijo primero lo siguiente? Una mónada es solo un monoide en la categoría de endofunctores, ¿cuál es el problema? Y en una nota menos importante, ¿es esto cierto y, de ser así, podría dar una explicación (con suerte, una que pueda entender alguien que no tenga mucha experiencia con …

723 haskell  monads  category-theory  monoids 

Cerrada . Esta pregunta necesita estar más centrada . Actualmente no está aceptando respuestas. Cerrado hace 3 años . Bloqueado . Esta pregunta y sus respuestas están bloqueadas porque la pregunta está fuera de tema pero tiene un significado histórico. Actualmente no acepta nuevas respuestas o interacciones. ¿Cuál es una …

565 haskell  functional-programming  monads  large-scale 

Si tengo un EnumeratorTy un correspondiente IterateeT, puedo ejecutarlos juntos: val en: EnumeratorT[String, Task] = EnumeratorT.enumList(List("a", "b", "c")) val it: IterateeT[String, Task, Int] = IterateeT.length (it &= en).run : Task[Int] Si la mónada enumeradora es "más grande" que la mónada iterada, puedo usar upo, más generalmente, Hoistpara "levantar" la iteración …

445 scala  monads  scalaz  enumerator  iterate 

He visto el término libre mónada pop-up cada ahora y entonces durante algún tiempo, pero todo el mundo parece utilizar / discutirlas sin dar una explicación de lo que son. Entonces: ¿qué son las mónadas libres? (Diría que estoy familiarizado con las mónadas y los conceptos básicos de Haskell, pero …

368 haskell  monads  free-monad 

En mi humilde opinión, las respuestas a la famosa pregunta "¿Qué es una mónada?" , especialmente los más votados, trate de explicar qué es una mónada sin explicar claramente por qué las mónadas son realmente necesarias . ¿Pueden explicarse como la solución a un problema?

366 haskell  monads 

Al explicarle a alguien qué es un tipo de clase X, 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 que es un Functor, pero no Aplicativo. Un constructor …

210 haskell  monads  functor  applicative 

Se habla mucho de mónadas en estos días. 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 lenguaje funcional y, por lo tanto, los ejemplos están …

190 c#  c#-3.0  lambda  monads 

¿Alguien podría dar algunos consejos sobre por qué los cálculos impuros en Haskell se modelan como mónadas? Quiero decir que mónada es solo una interfaz con 4 operaciones, entonces, ¿cuál fue el razonamiento para modelar los efectos secundarios?

172 haskell  functional-programming  monads 

La mónada lectora es tan compleja y parece inútil. En un lenguaje imperativo como Java o C ++, no existe un concepto equivalente para la mónada del lector, si no me equivoco. ¿Puedes darme un ejemplo sencillo y aclarar esto un poco?

122 haskell  monads  reader-monad 

Considere una situación en la que tengo tres (o más) formas de realizar un cálculo, cada una de las cuales puede fallar con una excepción. Para intentar cada cálculo hasta encontrar uno que tenga éxito, he estado haciendo lo siguiente: double val; try { val = calc1(); } catch (Calc1Exception …

114 c#  design-patterns  try-catch  monads 

Los candidatos componen, las mónadas no. ¿Qué significa la declaración anterior? ¿Y cuándo es preferible uno a otro?

110 haskell  functional-programming  monads  monad-transformers  applicative 

Cerrado. Esta pregunta no cumple con las pautas de Stack Overflow . Actualmente no acepta respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que esté relacionada con el tema de Stack Overflow. Cerrado hace 4 años . Mejora esta pregunta Hay muchos modismos funcionales: mónadas, aplicativos, flechas, etc. Están …

106 scala  haskell  functional-programming  monads 

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?

102 list  haskell  monads  redundancy  functor