Spisu treści:
Definicja - Co oznacza Monada?
Monada to abstrakcyjny konstruktor typu danych, który służył do reprezentowania obliczeń w programowaniu funkcjonalnym. Monady umożliwiają twórcom aplikacji łączenie działań w celu zbudowania potoku. Monada przypisuje dodatkowe reguły przetwarzania do każdej akcji w programie.
Techopedia wyjaśnia Monad
Funkcje monadyczne są zwykle tworzone przez programistę w celu zdefiniowania potoku przetwarzania danych, ale początkujący programiści często uważają je za bardzo trudne do zrozumienia.
Monada tworzona jest przez zdefiniowanie dwóch operacji („bind” i „return”) oraz konstruktora typu („M”). Operacja „return” pobiera wartość z zwykłego typu i umieszcza ją w monadycznym pojemniku typu „M”. Następnie operacja „powiązania” wykonuje odwrotny byt, wyodrębniając pierwotną wartość z kontenera i przekazując ją do powiązanej następnej funkcji w potoku.
