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

обычная это примитивная?

23:40пожаловаться #1

А в Codensity смотрел?

23:41пожаловаться #2

Потому что это Codensity, а не Cont

23:41пожаловаться #3

ЗП

это же Codensity

23:42пожаловаться #4

а ну да, у Cont нет forall r., он аргументом

23:42пожаловаться #5

блин ну апи Codensity мне не нравится

23:43пожаловаться #6

У меня при попытке работать с Cont каждый раз закипают мозги

23:43пожаловаться #7

Это потому что оно предназначено как оболочка к Free

23:43пожаловаться #8

ЗП

почему? в жс это всюду)

23:43пожаловаться #9

всякие репрезентабл, Adjunction

23:43пожаловаться #10

мне бы человеческое что-нибудь

23:43пожаловаться #11

В Js всюду >>=/fmap руками, это-то я могу

23:44пожаловаться #12

ЗП

вернее это монадическое преобразование Кейли, для оптимизации >>= как на примере с Endo для списка (оптимизация`:`)

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

Дык это Кметт писал, что ты хошь

23:44пожаловаться #14

ЗП

видимо тебе надо какой-то hoistCodensity

23:45пожаловаться #15

таких не нахожу

23:51пожаловаться #16

ЗП

hoistCodensity :: forall f g. (f ~> g) -> (g ~> f) -> Codensity f ~> Codensity g
hoistCodensity f g (Codensity m) = Codensity (\k -> f (m (g <<< k)))

23:52пожаловаться #17

а ну нет, это не то сделает вроде бы

23:52пожаловаться #18

Где б ещё достать обе натуральные трансформации разом-то

23:53пожаловаться #19

2021 June 18

мне в целом не сложно будет и самому эту функцию написать