TT
Size: a a a
2020 December 22
KC
Kirill Shelopugin
Кто выгорел?
Я но не в тиньке
2020 December 23
AG
хм, а в целои норм морфизмы идут
AG
упёрся правда в дебильную проблему что кок не хочет разворачивать гомоморфизм под байндером, а упрощалово упрощает слишком много
AG
откуда куда
из одного частичного коммутативного моноида в другой
AG
там короч терм вида
(fun x => foo) yAG
а мне надо реврайтнуть по
foo=barAG
так вот он под байндер не лезет, а если упростить выражение, то foo схлопывается в тыкву и потом назад хер отмотаешь
R
там короч терм вида
(fun x => foo) yа можно на скале такое я чот не могу распарсить что ето
AG
ну просто лямбда примененная к аргументу
AG
бета-редекс готовый
AG
надо в кок чате спросить короче, это я так мысли вслух
R
а лямбда получается моноед?
AG
не, моноиды тут ортогональны всей этой проблеме
AG
foo это терм из моноидов