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

Upřesnění funktor->endofunktor
m (poznámka o volných monádách)
(Upřesnění funktor->endofunktor)
značky: editace z mobilu editace z mobilního webu
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 [[funktorendofunktor]]u lze vytvořit [[volná monáda|volnou monádu]].
 
== Příklad ==