2
¿Son las mónadas una alternativa viable (quizás preferible) a las jerarquías de herencia?
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 toman un tipo de contenedor como …