Sommario:
Definizione - Cosa significa Monade?
Una monade è un costruttore di tipi di dati astratti utilizzato per rappresentare i calcoli nella programmazione funzionale. Le monadi consentono agli sviluppatori di applicazioni di concatenare le azioni per costruire una pipeline. La monade assegna regole di elaborazione aggiuntive a ciascuna azione nel programma.
Techopedia spiega Monad
Le funzioni monadiche vengono in genere create da un programmatore per definire una pipeline di elaborazione dati, ma i programmatori alle prime armi tendono a trovarle molto difficili da comprendere.
Una monade viene creata definendo due operazioni ("bind" e "return") e un costruttore di tipo ("M"). L'operazione "return" prende un valore da un tipo normale e lo inserisce in un contenitore monadico di tipo "M". Quindi, l'operazione "bind" fa l'opposto estraendo il valore originale dal contenitore e passandolo alla funzione successiva associata nella pipeline.
