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

Přidáno 18 bajtů ,  před 1 rokem
m
<source> -> <syntaxhighlight> (phab:T237267)
(Rozšíření článku o matematický kontext)
m (<source> -> <syntaxhighlight> (phab:T237267))
 
V [[Haskell]]u je typ volné monády nad funktorem ''f''
<sourcesyntaxhighlight lang="haskell">
Free f a = Pure a | Roll (f (Free f a))
</syntaxhighlight>
</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.
224

editací