Índice:
Definição - O que significa Monad?
Uma mônada é um construtor de tipo de dados abstrato que costumava representar cálculos em programação funcional. As mônadas permitem que os desenvolvedores de aplicativos encadeiem ações para criar um pipeline. A mônada atribui regras de processamento adicionais a cada ação no programa.
Techopedia explica Monad
As funções monádicas são geralmente criadas por um programador para definir um pipeline de processamento de dados, mas os programadores iniciantes tendem a considerá-las muito difíceis de entender.
Uma mônada é criada definindo duas operações ("bind" e "return") e um construtor de tipo ("M"). A operação "return" pega um valor de um tipo simples e o coloca em um contêiner monádico do tipo "M". Em seguida, a operação "bind" faz o byt oposto, extraindo o valor original do contêiner e passando-o para a próxima função associada no pipeline.