Volná monáda: Porovnání verzí
Smazaný obsah Přidaný obsah
m +kategoriie |
Neověřeno, pahýl |
||
Řádek 1:
{{Neověřeno}}
'''Volná monáda''' je v [[teorie kategorií|teorii kategorií]] [[monáda]] vytvořená z [[funktor]]u 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.
Řádek 5 ⟶ 6:
Free f a = Pure a | Free (f (Free f a))
</source>
{{Pahýl}}
[[Kategorie:Teorie kategorií]]
|