Volná monáda: Porovnání verzí
Smazaný obsah Přidaný obsah
oprava kódu značky: editace z mobilu editace z mobilního webu |
+poznámka o použití |
||
Řádek 6:
Free f a = Pure a | Roll (f (Free f a))
</source>
Volné monády se ve funkcionálním programování používají k implementaci interpretů doménově specifických jazyků, protože poskytují syntakticky definovanou operaci bind.
{{Pahýl}}
[[Kategorie:Teorie kategorií]]
|