Obsah:
Definícia - Čo znamená Monad?
Monad je konštruktor abstraktných dátových typov, ktorý slúžil na reprezentáciu výpočtov vo funkčnom programovaní. Monády umožňujú vývojárom aplikácií reťazové akcie na zostavenie plynovodu. Monad priraďuje každej akcii v programe ďalšie pravidlá spracovania.
Techopedia vysvetľuje Monad
Monadické funkcie sú zvyčajne vytvárané programátorom na definovanie plynovodu na spracovanie údajov, ale začínajúcim programátorom sa zdá, že sú veľmi ťažko zrozumiteľné.
Monad sa vytvorí definovaním dvoch operácií ("bind" a "return") a konštruktora typu ("M"). Operácia „návrat“ vezme hodnotu z obyčajného typu a vloží ju do monadického kontajnera typu „M“. Potom operácia "viazanie" vykoná opačný byt, ktorý extrahuje pôvodnú hodnotu z kontajnera a odovzdá ju do súvisiacej ďalšej funkcie v potrubí.
