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

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

источник

10:12пожаловаться #6

Maxim Koltsov in Haskell

это опечатка?)

источник

10:13пожаловаться #7

Maxim Koltsov in Haskell

или специально

источник

10:13пожаловаться #8

Roman in Haskell

И насколько я понимаю делать черч-энкодинг какой-нибудь монады вручную эффективнее чем обвешивать ее коденситями

источник

10:13пожаловаться #9

Roman in Haskell

Хах, опечатка

источник

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

Roman in Haskell

Исправил

источник

10:13пожаловаться #11

кана in Haskell

так же вопрос, получается что
forall r. (a -> r) -> r
~
a

и это позволяет в некоторых случаях выкидывать forall, чтобы упростить подсчет "мощности" типа

Это как-то связанно с йонедами там всякими?

источник

10:13пожаловаться #12

adam in Haskell

это сопряжения

источник

10:14пожаловаться #13

adam in Haskell

или как adjunctions переводится

источник

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

кана in Haskell

Я просто помню что читал статью про подсчет мощности типов с forall, и там делалось какое-то преобразование, которое выкидывает forall, вот не оно ли это

Тогда я его не понял особо

источник

10:14пожаловаться #15

Jerzy Syrowiecki in Haskell

со списками индексы не используют

источник

10:15пожаловаться #16

Roman in Haskell

Юп, это йонеда лемма для идентити, насколько я помню

источник

10:16пожаловаться #17

кана in Haskell

прикольно, спасибо