Komonadka Cofree jest przydatna do iterowania funkcji częściowych w sposób polimorficzny dla typu błędu. Jego coiter przypomina forM -zachowanie w monadzie błędu, ale zbiera wygenerowane wartości w sp
Jestem zainteresowany uogólnieniem niektórych narzędzi obliczeniowych do użycia Cayley Table, co oznacza operację mnożenia opartą na tablicy odnośników. mogę tworzyć minimalną realizację następująco:
Ok, więc powiedzmy, że masz typ newtype Dual f a = Dual {dual :: forall r. f(a -> r)->r}
Jak się okazuje, kiedy f jest Comonad, Dual f jest Monada (zabawa ćwiczenie). Czy działa to na odwrót? Można
powielać Dlaczego podczas definiowania funkcji powielać duplicate :: w a -> w (w a)
dla typeclass Comonad (link) trzeba modyfikować wszystkie elementy „w kontekście” (czyli zmienić elementy inne ni