Volná monáda: Porovnání verzí

Přidáno 186 bajtů ,  před 2 lety
+poznámka o použití
(oprava kódu)
značky: editace z mobilu editace z mobilního webu
(+poznámka o použití)
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í]]