2
As mônadas são uma alternativa viável (talvez preferível) às hierarquias de herança?
Vou usar uma descrição independente de idioma de mônadas como esta, primeiro descrevendo monóides: Um monóide é (aproximadamente) um conjunto de funções que usam algum tipo como parâmetro e retornam o mesmo tipo. Uma mônada é (aproximadamente) um conjunto de funções que tomam um tipo de invólucro como parâmetro e …