Volná monáda: Porovnání verzí
Smazaný obsah Přidaný obsah
Neověřeno, pahýl |
oprava kódu značky: editace z mobilu editace z mobilního webu |
||
Řádek 4: | Řádek 4: | ||
V [[Haskell]]u je typ volné monády nad funktorem ''f'' |
V [[Haskell]]u je typ volné monády nad funktorem ''f'' |
||
<source lang="haskell"> |
<source lang="haskell"> |
||
Free f a = Pure a | |
Free f a = Pure a | Roll (f (Free f a)) |
||
</source> |
</source> |
||
{{Pahýl}} |
{{Pahýl}} |
Verze z 21. 8. 2019, 01:11
Volná monáda je v teorii kategorií monáda vytvořená z funktoru s nejvolnější možnou strukturou. Na rozdíl od "běžných" monád nereprezentuje žádný sekvenční výpočet a lze ji "rozbalit", tj. získat v ní "zabalenou" hodnotu.
V Haskellu je typ volné monády nad funktorem f
Free f a = Pure a | Roll (f (Free f a))