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í]]