Monáda (funkcionální programování): Porovnání verzí
Smazaný obsah Přidaný obsah
m odkazy značka: editace z Vizuálního editoru |
Bez shrnutí editace značky: revertováno editace z mobilu editace z mobilního webu |
||
Řádek 1:
'''Monáda''' je [[Funktor|funktoriální]] [[datový typ]] vybavený dvěma přirozenými transformacemi umožňujícími [[Asociativita|asociativní]] skládání operací nad monádami. Formálně je monáda
[[Přirozená transformace|Přirozené transformace]] jsou u každé monády <math>T</math> multiplikace <math>\mu:T^2 \rightarrow T</math> a jednotka <math>\eta:I \rightarrow T</math> splňující <math>\mu \circ \mu T = \mu \circ T\mu (T^3 \rightarrow T)</math> a <math>\mu \circ \eta T = 1 = \mu \circ T\eta</math>. Ve [[Funkcionální programování|funkcionálním programování]] se tyto operace zpravidla nazývají '''join''' a '''unit'''. Příkladem monády je [[continuation|kontinuace]], kde <math>\eta</math> je funkcí z <math>A</math> do <math>(A \rightarrow R) \rightarrow R</math> definovaná jako <math>\eta x=\lambda f.f(x)</math> a
|