ЗП
Кстати используя iterM можно компоузить пре и пост процессинг для алгебр
Size: a a a
2020 May 09
AV
А ещё как могут WT ассоциироваться с токсичными академиками?
LO
Я бы ни тем ни другим проект не понёс.
AV
Я реально не видел ни одной токсичной фразы от них
LO
Проекты не дают, проекты берут!
AV
Или токсичные это ассоциация с академиками?
AV
Академиков среди них аж 2!
LO
Они ассоциируются с кабалом, в кабале есть хвр, вот и цепочка пассивной токсичности
AV
AV
Блин чота их много стало
AV
Ого, Omer в WT?
ЗП
@graninas кстати, а почему имея фри монады ты не используешь идею парных функторов, что друг друга вычисляют и это идея dsl/interpreter через фри/кофри?
A
У меня WT не ассоциируется ни с чем, кроме как с токсичными академиками
судя по optics, cborg, g-e-anal академики из них ТАК СЕБЕ
AA
Ого, Omer в WT?
он же вроде работу то ли меняет, толи уже поменял
LO
А что не так с cborg?
A
но вообще продолжайте пожалуйста 🍿
AA
судя по optics, cborg, g-e-anal академики из них ТАК СЕБЕ
а уж судя по гхц...
АГ
@graninas кстати, а почему имея фри монады ты не используешь идею парных функторов, что друг друга вычисляют и это идея dsl/interpreter через фри/кофри?
Это надо ресечить, а у меня руки не доходят
ЗП
И раз ты так любишь инишиал енкодинг, то реализовать ты это можешь через свертку Дея, а не тайпкласс
AV
он же вроде работу то ли меняет, толи уже поменял
Там была турецкая фирма какая-то видимо закрылась, один из людей оттуда в Tweag был, мне почему-то казалось что Omer