АГ
Мол, никто не говорит того, что ты приписываешь своим оппонентам
Size: a a a
2020 May 25
NV
мне больше интересно как протекают абстракции в tagless final
YS
Кто-то видимо всё таки говорит!
NV
сколько не обсуждали, так и не пришли к выводу
YS
мне больше интересно как протекают абстракции в tagless final
Я уже спрашивал на докладе)
АГ
Я же отвечал?
Oℕ
А как вы отвечаете на это?
YS
Да, ответил
АГ
Я и в чатах отвечал
Oℕ
Могут быть скомбинированы?
АГ
И в статьях тоже
АГ
Всех случаев протекания не опишешь, и протекает абстракция не всегда
NV
И в статьях тоже
ого а можно показать?
АГ
А как вы отвечаете на это?
А никак, коммент висит в гугль доке неотвеченный
YS
Я так понял, мысль Александра - что протекает в ft, когда используется тайпклассы, где, например, можно IO подсунуть
AV
А как вы отвечаете на это?
Мы не комбинируем Free f и Free g, но мы можем скомбинировать Free F и Free G. Для этого мы вводим H, являющиймя объединением F и G и пишем Free H
АГ
ого а можно показать?
Ну не в статьях именно про протекание, а вскользь. Сейчас посмотрю
Oℕ
А никак, коммент висит в гугль доке неотвеченный
Но ведь это один из основных пойнов таглесс файнала
YS
Стандартные
MonadReader, или (очевидно) MonadIO