s
При этом они конечно же ломают редукцию термов.
Size: a a a
2021 November 24
s
Ага, я даже вижу, где они её ломают: multiset. Ладно, я не столь уверен, что вся эта конструкция в самом деле проще.
ДГ
Начали сегодня на матлогике машину тьюринга
Какая крутая штука 0_0
Какая крутая штука 0_0
s
Попробуй лямбда-исчисление.
X
Всегда.
val add_poly : poly -> poly -> poly
BV
Я так пошёл теорию вычислений читать по итогу, а потом долго вспоминал как же теперь проект писать
X
ну они крутые, чо
X
мне надо немного + я ж для саморазвития и самообучения пишу
X
если б у меня был такой фреймворк, как у них, я б может и не женился никогда стал бы я спрашивать такой пустяк про полиномы
s
Не совсем уж пустяк, так как опять же, коуравнители — дело достаточно тонкое.
s
Но более-менее универсальный подход — разделять алгоритм и нормализацию.
X
в смысле, у них что, вообще все факты выведены автоматом?
X
всё правильно
X
у меня разделено!
X
ты видел вообще мой файлик?)
s
По диагонали, он фстар не слишком читаем.
A
Так и должно быть)
X
ДА, согласен
X
что должно быть
X
я спросил — это действительно так у них, или я просто не нашёл приватных деталей реализации?