Kazalo:
Opredelitev - Kaj pomeni Monad?
Monada je abstraktni konstruktor podatkovnih tipov, ki je predstavljal izračune v funkcionalnem programiranju. Monads omogoča razvijalcem aplikacij, da skupaj povežejo ukrepe za izgradnjo cevovoda. Monada vsakemu dejanju v programu dodeli dodatna pravila za obdelavo.
Tehopedija razlaga Monada
Monadske funkcije ponavadi ustvari programer za definiranje cevovoda za obdelavo podatkov, vendar jih začetniki programerji običajno težko razumejo.
Monada je ustvarjena z definiranjem dveh operacij ("bind" in "return") in konstruktorja tipa ("M"). Operacija "vrnitev" vzame vrednost iz navadnega tipa in jo postavi v monadski vsebnik tipa "M". Nato operacija "bind" naredi nasprotno bajt, izvleče izvirno vrednost iz posode in jo prenese na ustrezno naslednjo funkcijo v cevovodu.
