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

2021 March 18

к

хм, у меня глупый вопрос... а существует ли аналог do-нотации для комонад?

вот тут гонзалевская нотация описывается, если это конечно он ее придумал

https://www.haskellforall.com/2013/02/you-could-have-invented-comonads.html

Haskellforall

Comonads are objects

Haskell programmers popularized the use of monads to structure imperative computations, complete with syntactic sugar in the form of do not...

источник

13:44пожаловаться #1

t

toriningen in Haskell

кана

вот тут гонзалевская нотация описывается, если это конечно он ее придумал

https://www.haskellforall.com/2013/02/you-could-have-invented-comonads.html

Haskellforall

Comonads are objects

Haskell programmers popularized the use of monads to structure imperative computations, complete with syntactic sugar in the form of do not...

спасибо, интересная статья. я еще не все понял из написанного, но через пару попыток должно получиться

совершенно случайно подумалось, не связаны ли интерпретаторы фримонад с комонадами? например, если определить базовый функтор кофримонады как record из возможных элиминаторов для каждого из возможных конструкторов базового функтора фримонады?

источник

14:01пожаловаться #2

t

toriningen in Haskell

не будет ли получившаяся конструкция как раз "фри" интерпретатором?

источник

14:01пожаловаться #3

t

toriningen in Haskell

допускаю, что я, скорее всего, что-то не учел...

источник

14:02пожаловаться #4

KV

Kirill Valyavin in Haskell

toriningen

спасибо, интересная статья. я еще не все понял из написанного, но через пару попыток должно получиться

совершенно случайно подумалось, не связаны ли интерпретаторы фримонад с комонадами? например, если определить базовый функтор кофримонады как record из возможных элиминаторов для каждого из возможных конструкторов базового функтора фримонады?

Это именно так и работает

источник

14:11пожаловаться #5

t

toriningen in Haskell

т.е. идея в том, чтобы для каждого из конструкторов исходного типа определить такую функцию, которая бы принимала экземпляр, соответствующий этому конструктору, и возвращала что-то полезное, и помимо того возвращала следующий набор элиминаторов, который будет применен к следующему элементу, который породится соответствующей лямбдой в бинде фримонады

источник

14:11пожаловаться #6

KV

Kirill Valyavin in Haskell

https://dlaing.org/cofun/posts/free_and_cofree.html

источник

14:11пожаловаться #7

t

toriningen in Haskell

пардон за сбивчивые объяснения

источник

14:11пожаловаться #8