IR
это таглесс файнал
Size: a a a
2020 July 15
YS
Ну вот мне Александр Вершилов сказал на мой код, что там не таглесс файнал
YS
Хотя тайпклассы есть
YS
сказал это mtl-like
YS
А таглесс файнал типа это "сильно глубже", как я понял
YS
(а у меня просто интерфейсы прокинуты типа
HasFoo или CanBar)MK
таглесс файнал в том смысле в котором он есть — не нужен в обычном коде
MK
мтл-лайк это сильно ограниченный кусок ФТ
YS
ну вот я поэтому и уточнил)
YS
тот мтл который либа или мтл-лайк самописный
IR
> The right-hand side of a type instance must be a monotype (i.e., it may not include foralls) and after the expansion of all saturated vanilla type synonyms, no synonyms, except family synonyms may remain.
by design
by design
АГ
Гранин, ты рад?
Я не могу злорадствовать, это недостойно благородного дона. Но такие случаи я и имею в виду, когда говорю, что как только сходишь с протоптанной дорожки в нестандартное, возникают проблемы
MK
куда стандартнее mtl
АГ
Я про то, что простые вещи делаются просто, чуть более сложные - сложно, а очень сложные - невозможно
АГ
какого чёрта нет инстанса ToJSON ByteString?
Об эту проблему мы тоже спотыкаемся. @parketgo может рассказать, как мы ее решали
AP
Я не знаю, как там в других подходах, но в фри монадном такая структура есть, это AppRuntime. Например, он общий для всех обработчиков servant'a. Методы могут пользоваться шаренными данными (коннекциями, конфигами и пр.)
Спасибо за ответ, но я не очень понял что вы имеете ввиду. Фри монады в моём понимании находятся на уровень выше того, о чём я спрашивал: это дизайн проектирования, а я спрашивал про средство аллоцировать большую структуру подешевле.
АГ
Спасибо за ответ, но я не очень понял что вы имеете ввиду. Фри монады в моём понимании находятся на уровень выше того, о чём я спрашивал: это дизайн проектирования, а я спрашивал про средство аллоцировать большую структуру подешевле.
Тогда я не так понял
R
но раз мой код на тф, а я прикручиваю его к коду с фандепами, то страдаю
так это вроде обычно можно без проблем сделать? Вот код с фандепами прикручить к тайпфемелям — это боль и страдания
MK
так это вроде обычно можно без проблем сделать? Вот код с фандепами прикручить к тайпфемелям — это боль и страдания
Я не так выразился, да
Мой код на тф, к нему прикручиваю код на фандепах (мтл)
Мой код на тф, к нему прикручиваю код на фандепах (мтл)
MK
Вообще мне кажется что тут отношение прикручивания тут симметрично