He visto personas hablando de Free Monad with Interpreter , particularmente en el contexto del acceso a datos. ¿Cuál es este patrón? ¿Cuándo podría querer usarlo? ¿Cómo funciona y cómo lo implementaría? Entiendo (de publicaciones como esta ) que se trata de separar el modelo del acceso a los...
La IOmónada en Haskell a menudo se explica como una mónada estatal donde el estado es el mundo. Entonces, un valor de tipo IO amónada se ve como algo así worldState -> (a, worldState). Hace algún tiempo leí un artículo (o una publicación de blog / lista de correo) que criticaba esta opinión y...
Me pregunto cuáles son las ventajas de la Maybe mónada sobre las excepciones. Parece que Maybees una forma de try..catchsintaxis explícita (y que consume bastante espacio) . actualizar nota por favor que estoy intencionalmente no mencionar
Mientras aprendía Haskell, me enfrenté a muchos tutoriales que intentaban explicar qué son las mónadas y por qué las mónadas son importantes en Haskell. Cada uno de ellos utilizó analogías, por lo que sería más fácil captar el significado. Al final del día, he terminado con 3 vistas diferentes de...
Voy a utilizar una descripción independiente del lenguaje de mónadas como esta, describiendo primero los monoides: Un monoide es (aproximadamente) un conjunto de funciones que toman algún tipo de parámetro y devuelven el mismo tipo. Una mónada es (aproximadamente) un conjunto de funciones que...
Perdón por otra pregunta de efectos secundarios de FP +, pero no pude encontrar una existente que respondiera esto por mí. Mi comprensión (limitada) de la programación funcional es que los efectos de estado / secundarios deben minimizarse y mantenerse separados de la lógica sin estado. También...
Recientemente he estado desempolvando mi conocimiento sobre cómo funcionan las mónadas. También me presentaron el concepto de 'Comonad' , que se describe como el dual inverso de una mónada . Sin embargo, soy imposible entenderlo. Para entender a las mónadas, hice la propia analogía para mí: Las...
Cerrada . Esta pregunta necesita estar más centrada . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que se centre en un problema solo editando esta publicación . Cerrado hace 3 años . He leído muchas...
Vengo de un fondo de C #, donde LINQ evolucionó a Rx.NET, pero siempre tenía algún interés en FP. Después de una introducción a las mónadas y algunos proyectos paralelos en F #, estaba listo para intentar pasar al siguiente nivel. Ahora, después de varias charlas sobre la mónada gratuita por parte...
Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 4 años . ¿Por qué...
¿Cómo construyo un sistema que tenga todo lo siguiente ? Usar funciones puras con objetos inmutables. Solo pase a los datos de una función que la función necesita, no más (es decir, ningún objeto de estado de aplicación grande) Evite tener demasiados argumentos para las funciones. Evite tener que...
En un marco de aplicación cuando se puede ignorar el impacto en el rendimiento (10-20 eventos por segundo como máximo), ¿qué es más fácil de mantener y utilizar como medio preferido para la comunicación entre módulos: eventos o futuros / promesas / mónadas ? A menudo se dice que los eventos (pub...
Cerrada . Esta pregunta necesita estar más centrada . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que se centre en un problema solo editando esta publicación . Cerrado hace 6 años . Simplemente...
En la mónada de error, la primera falla detiene cualquier ejecución aún más, simplemente llevando la falla a través de los siguientes enlaces. ¿Qué mónada se detiene en el éxito solo llevando éxitos y básicamente tragándose cualquier falla e intentando el siguiente enlace sin tener en cuenta el...
Me pregunto qué es mejor en cuanto al diseño para la usabilidad / mantenibilidad, y qué es mejor en lo que respecta a la comunidad. Dado el modelo de datos: type Name = String data Amount = Out | Some | Enough | Plenty deriving (Show, Eq) data Container = Container Name deriving (Show, Eq) data...
Estaba haciendo una presentación sobre F # y estaba discutiendo el tipo de Opción cuando alguien en la audiencia me preguntó si el tipo de Opción es la implementación de F # de la mónada quizás. Sé que ese no es el caso, pero quería preguntar cómo se relacionan los dos conceptos. Quiero decir que...