¿Cuál es la diferencia entre una mónada y un cierre?

Question

Estoy un poco confundido leyendo la definición entre los dos. ¿Pueden cruzarse en términos de definición? o estoy completamente perdido? Gracias.

Answer 1

Los cierres, como la palabra tiende a usarse, son solo funciones (o bloques de código, si quieres)) que puede tratar como una pieza de datos y pasar a otras funciones, etc. (el bit "cerrado" es que siempre que lo llame, se comporta exactamente como lo haría si lo llamara donde se definió originalmente). Una mónada es (más o menos) más como un contexto en el que las funciones se pueden encadenar juntas de forma secuencial y controla cómo se pasan los datos de una función a la siguiente.

Answer 2

Son bastante diferentes, aunque las mónadas a menudo usan cierres para capturar la lógica.

Personalmente, trataría de ser sólido en la definición de cierres (esencialmente una parte de la lógica que también captura su entorno, es decir, variables locales, etc.) antes de preocuparme por las mónadas. Pueden venir más tarde :)

Existen varias preguntas sobre los cierres en Stack Overflow: el mejor para ayudarlo dependerá de la plataforma en la que esté trabajando. Por ejemplo, hay:

• What are closures in .NET?
• Function pointers, closures and lambda

Personalmente estoy más que empezar a "asimilar" mónadas (gracias al libro que estoy ayudando en). Algún día me ocuparé de escribir un artículo sobre ellos, cuando sienta que los entiendo lo suficientemente bien :)

Answer 3

Un "cierre" es un objeto que comprende 1) una función, y 2) los valores de sus variables libres donde está construido.

A "mónada" es una clase de funciones que pueden estar compuestos de una manera determinada, es decir, mediante el uso asociado bind y retorno función de los operadores de orden superior, para producir otras funciones.

Answer 4

Creo que las mónadas son un poco más complicadas que los cierres porque los cierres son solo bloques de código que recuerdan algo desde el punto de sus definiciones y las mónadas son una construcción para "retorcer" la función de composición de funciones habitual.