AG
выражение вида
f (x * y)f (x * y) = f x * f y плюс всякие условияSize: a a a
2020 December 23
AG
у меня есть теорема о гомоморфизме, типа
AG
вот мне потом надо в правой форме чтоб было
AG
но если я упрощаю терм, оно вычисляет слишком далеко и я потом эту теорему уже не могу применить
R
а типа он сразу лямбду применяет к у?
AG
ну мне надо чтобы да, но он ещё много чего делает
R
это уже за пределами моего воображения
AG
как вариант можно залочить foo по месту определения но это сразу куча бойлерплейта вылезет в других местах
AG
типа каждый раз когда нужно его вычислять надо будет явно разлочивать
AG
хотя может дальше такая проблема будет часто вылезать
AG
в общем будни пруф инжиринга
R
а чо значит лочить по месту определния
AG
R
начал смотреть про джоин калкулис
R
и похоже на манатки пока слегка
AG
это метод синхронизации же
R
это метод синхронизации же
R
блин или лучш завтра уже послушать