Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

2020 May 19

ZM

ZLoyer Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Grigory Pomadchin
А ты кста посмотри что репрезентабл к такое ка кон выводится
я ж нуб некодящий, а ты говоришь посмотри непонятную штуку
*стикер со слезками*
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Aλeksei Tereχin
Ну просто у тебя F это и так какой-то ридер, таскающий в контексте алгебру Alg[F].
На любом ридере можно вернуть контекст F[Alg[F]]
Если алгебра достаточно простая, то ридер можно зафлаттенить и сделать Alg[F]

Вот ты и перешел от таскания контекста с алгеброй к наличию самой алгебры
А это про другое. Это про то, что можно требовать F : Alg, если она у тебя в ридере валяется
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ZLoyer Matveev
ну т.е. само наличие ембед и есть это ограничение
Да
источник

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
источник

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ZLoyer Matveev
я ж нуб некодящий, а ты говоришь посмотри непонятную штуку
*стикер со слезками*
дерайв репрезентабл напиши с флагом на принт макросов
источник

AT

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Хайер кайнд весь пакет требует доки
источник

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Aλeksei Tereχin
Хайер кайнд весь пакет требует доки
+
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Grigory Pomadchin
дерайв репрезентабл напиши с флагом на принт макросов
Дерайв ембед
источник

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
λoλcat
Дерайв ембед
О даж так
источник

AT

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Я первый раз mapK заюзал на работе вот прямо днями лол
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
РепрезентаблК выведется, но для понимания ембеда слишком сложно
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
РепрезентаблК не выводится для многих штук у которых есть ембед
источник

AT

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Я короче думаю может нам сделать кружок тофу?
источник

ZM

ZLoyer Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
а мы че делаем?
источник

ZM

ZLoyer Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
кружимся
источник

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Aλeksei Tereχin
Я первый раз mapK заюзал на работе вот прямо днями лол
а ты как его реализовывал? Так ж как в котах сунул прост мапК на тупклус или чо
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
λoλcat
РепрезентаблК не выводится для многих штук у которых есть ембед
Тот же стрим в сигне - ембед есть, а РепрезентаблК нет
источник

AT

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Ну типа олег нам будет в уши ссать а мы доку в итоге накалякакаем
источник

AT

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Grigory Pomadchin
а ты как его реализовывал? Так ж как в котах сунул прост мапК на тупклус или чо
Да
источник

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
источник