ZM
надо, кстати, в проекте рабочем воткнуть, как раз вылез кейс
Size: a a a
2020 May 19
AT
А, не. Он про Мид пояснял
Олег потом про мид сделал гист
GP
надо, кстати, в проекте рабочем воткнуть, как раз вылез кейс
Я спрашивал его про ембед када ток начал в тофу смотреть
GP
Попробуй а истории понва поищи
AT
да, но я тогда не включал голову и сходу было не понятно (он часто очевидный ему контекст оставляет в голове)
Ну типа как мне кот сказал что если у ф есть флатмап то ты можешь любую алгебру зафлэтэнить
λ
Какая-то нетехническая вакуха
λ
Ну типа как мне кот сказал что если у ф есть флатмап то ты можешь любую алгебру зафлэтэнить
Нет
λ
На U накладываются ограничения
AT
Ну просто у тебя F это и так какой-то ридер, таскающий в контексте алгебру Alg[F].
На любом ридере можно вернуть контекст F[Alg[F]]
Если алгебра достаточно простая, то ридер можно зафлаттенить и сделать Alg[F]
Вот ты и перешел от таскания контекста с алгеброй к наличию самой алгебры
На любом ридере можно вернуть контекст F[Alg[F]]
Если алгебра достаточно простая, то ридер можно зафлаттенить и сделать Alg[F]
Вот ты и перешел от таскания контекста с алгеброй к наличию самой алгебры
λ
Ембед должен выводиться
ZM
про мид, кстати, тож есть вопросы
* Почему Олег считал это внутренней штукой онли? Вродь такое звучало.
* Почему у репрезентаблк многое похоже на applyk
* Почему Олег считал это внутренней штукой онли? Вродь такое звучало.
* Почему у репрезентаблк многое похоже на applyk
GP
Простой должна быть у
λ
Какая-то нетехническая вакуха
Ну тут есть препода, может захотят пойти)
GP
про мид, кстати, тож есть вопросы
* Почему Олег считал это внутренней штукой онли? Вродь такое звучало.
* Почему у репрезентаблк многое похоже на applyk
* Почему Олег считал это внутренней штукой онли? Вродь такое звучало.
* Почему у репрезентаблк многое похоже на applyk
А ты кста посмотри что репрезентабл к такое ка кон выводится
ZM
На U накладываются ограничения
ну т.е. само наличие ембед и есть это ограничение
GP
Будет ясно как ембед вывести мне кажется оно в тофу через репрезентабл выводится но я не помню
λ
ну чтобы вытащить внутренний трейт по любому надо уметь его создать