Volná monáda: Porovnání verzí
Smazaný obsah Přidaný obsah
první verze |
m +kategoriie |
||
Řádek 5: | Řádek 5: | ||
Free f a = Pure a | Free (f (Free f a)) |
Free f a = Pure a | Free (f (Free f a)) |
||
</source> |
</source> |
||
[[Kategorie:Teorie kategorií]] |
Verze z 20. 8. 2019, 17:27
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 | Free (f (Free f a))