AG
про унификацию еще неплохо бы какие то основы знать, а то она очень быстро пробежалась
Size: a a a
2020 August 03
ᛒ
а чо не поняли то
я после фрешнеса поплыл када ты про ds спросил
λ
Да над маф нотацию вспомнить
w
Да над маф нотацию вспомнить
Эх, сча бы вспомнить
R
ну я запутался с преобразованиями и чо откуда куда какие штуки на основе чего
AG
я кстати писал макбрайдов алгоритм унификации, думаю эту тему на секвенциях поднять потом
R
еще парсить матзакорючки
λ
Да и эт, я поспать успел
AG
прост унификация как таковая лямбде ортогональна
V
И не будут звать к себе работать
главное - чтобы хр был доволен, если скалист недоволен, то он плохой, надо заменить на довольного
AG
точнее для лямбды нужна унификация высшего порядка коя неразрешима
KC
Vasiliy
главное - чтобы хр был доволен, если скалист недоволен, то он плохой, надо заменить на довольного
Бля ну есть разница когда обсуждают например конкретную компанию, условия труда итд
И когда сидят обсуждают цены на жилье и тут врывается жавист и начинает кидать шутехи про Яндекс, постить обезьян и называть контору уродской
И когда сидят обсуждают цены на жилье и тут врывается жавист и начинает кидать шутехи про Яндекс, постить обезьян и называть контору уродской
KC
Ваще ни к чему, потому что про Яндекс никто ничо не говорил
V
Бля ну есть разница когда обсуждают например конкретную компанию, условия труда итд
И когда сидят обсуждают цены на жилье и тут врывается жавист и начинает кидать шутехи про Яндекс, постить обезьян и называть контору уродской
И когда сидят обсуждают цены на жилье и тут врывается жавист и начинает кидать шутехи про Яндекс, постить обезьян и называть контору уродской
так и обсуждает Яндекс (конкретную компанию)
w
Vasiliy
так и обсуждает Яндекс (конкретную компанию)
А ты кто вообще, чтобы рассказывать мне, что допустимо, а что нет? Какие у тебя заслуги? Что хорошего ты сделал для мира? Сколько сантиметров хер?
KC
Vasiliy
так и обсуждает Яндекс (конкретную компанию)
Принял
V
Принял
цифры знаешь