Monáda (funkcionální programování): Porovnání verzí

m
poznámka o volných monádách
(Robot: Opravuji 1 zdrojů and označuji 0 zdrojů jako nefunkční #IABot (v2.0beta15))
m (poznámka o volných monádách)
 
Monády umožňují formulovat kód s vedlejšími efekty tak, aby byl [[referenční průhlednost|referenčně transparentní]], a tedy "čistý" (ve funkcionálním smyslu). Monády jsou zpravidla generické a jejich [[druh (teorie typů)|druh]] je <math>(* \rightarrow *) \rightarrow *</math>.
 
Z každého [[funktor]]u lze vytvořit [[volná monáda|volnou monádu]].
 
== Příklad ==