Телеграмм чат группы haskellru страница 16310

ну, f может быть монадкой...
А так не понял :/

21:39пожаловаться #1

ЖК

Жук Короед in Haskell

Это же определение Free с точностью до переименовывания! :D

21:42пожаловаться #2

[

21:43пожаловаться #3

[

так вот какая она

21:44пожаловаться #4

[

свободная монада

21:44пожаловаться #5

Я так себе сделал универсальное AST

newtype Tree fs xs = Tree { raw :: Cofree (Sum fs) (Product xs) }

и немедленно бахнул обходы по нему

21:44пожаловаться #6

ЖК

Жук Короед in Haskell

Cofree страшные слова, я еще таких не знаю :D

21:45пожаловаться #7

[

это как кофе

21:45пожаловаться #8

Это Free наоборот

21:46пожаловаться #9

[

только кофри

21:46пожаловаться #10

data Cofree f a = Cofree { a :: a, fa :: f (Cofree a) }

21:46пожаловаться #11

[

а для Cotree надо будет использовать Free ?

21:46пожаловаться #12

Нет

21:46пожаловаться #13

[

21:47пожаловаться #14

Cofree - это свободная комонада

21:47пожаловаться #15

ЖК

Жук Короед in Haskell

Ну это я догнал, а вот представить себе такое сложно.

21:47пожаловаться #16

Free   f a = mu it. a + f it
Cofree f a = mu it. a * f it

21:48пожаловаться #17

[

а в чём прикол? тупо любое количество эффектов?

22:06пожаловаться #18

[

А, нет, отмена, я не секу, в чём прикол

22:08пожаловаться #19

[

допустим, у нас тип

Free Maybe Int

и к нему подходят

Free Nothing
Free Just (Pure 5)
Free Just (Free Nothing)
Free Just (Free Just (Pure 5))

И так далее