KC
вы закончили меня травить?
Size: a a a
2020 August 04
KC
Жалко кривдыча
KC
Одно неверное движение и тебя кенселят, хотя ещё вчера был любимцем публики
KC
Тяжело жить в 2020
R
@Mrsameman ну че мы узнали за три лекции
что сложна
R
это чето прикольное для прувиров
AG
это чето прикольное для прувиров
не обязательно для пруверов, обычные интерпретаторы-компиляторы на этом тоже можно писать, надеюсь габбай на практикуме это и покажет
ᛒ
это чето прикольное для прувиров
rewrite -> ?
ᛒ
не обязательно для пруверов, обычные интерпретаторы-компиляторы на этом тоже можно писать, надеюсь габбай на практикуме это и покажет
ага
AG
безтиповая лямбда, два ассемблера, систем ф и наноблокчейн
Oℕ
реврайтить - залупно
ну прикольная система
Oℕ
т.е. сравнивать термы вообще тяжело
Oℕ
не просто так я закидывал вопросы в какие-то чаты про то как хеши от термов вычислять
Oℕ
насколько я понял местный алгоритм примерно отвечает на вопрос "можно ли построить перестановку связанных имён так, чтобы термы совпали"
R
rewrite -> ?
ignite
AG
насколько я понял местный алгоритм примерно отвечает на вопрос "можно ли построить перестановку связанных имён так, чтобы термы совпали"
это и есть унификация
Oℕ
это и есть унификация
ну да