Monáda (funkcionální programování): Porovnání verzí
Smazaný obsah Přidaný obsah
m poznámka o volných monádách značka: přepnuto z Vizuálního editoru |
Upřesnění funktor->endofunktor značky: editace z mobilu editace z mobilního webu |
||
Řádek 7:
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 [[
== Příklad ==
| |||