N
у нас разная система оценок просто. Более того, есть логическая ловушка, которая прямо запрещает переход от того, "как есть" к тому, "как хорошо/плохо", то есть логический вывод эмоциональной оценки на основе формального описания
Size: a a a
2021 April 05
SZ
И че?
AZ
Говоря Колиным языком: стремится к нулю. Но я, как человек, просто округлил.
SZ
В ФБ пишут на OCaml
AZ
Да да, внезапно, я в курсе. 🙂
Но самое главное тут то, что мы люди. И потому, обычно, нет ничего плохого в эмоциональной оценке.
Но самое главное тут то, что мы люди. И потому, обычно, нет ничего плохого в эмоциональной оценке.
N
при этом мы можем сравнивать две формальные системы на основе того, как точно и корректно в них смоделированы те или иные теории. И именно об этом я и говорил
AZ
Шагит, всё, что меньше одного процента — не существует.
N
просто у тебя эмоционально "ой, вопросик", а у меня "хуже реализует теорию типов, и похер на вопросик"
SZ
АЛЛО ФБ FB FACEBOOK
AZ
Нет, не так. Я говорю «это юзабельно», а ты отвечаешь «похуй, что в расте не юзабельно, зато он лучше реализует теорию типов».
ПМ
сколько однако у вас сил, 3й час уже срётесь
AZ
И чё? <1% не сужествует.
AZ
Я завтра на мите буду говорить, что я нихрена не сделал, потому что влез в тупой спор. Опять.
AZ
Давай заканчивать.
AZ
Дейсвтительно надо поработать.
SZ
Как же он траллирует
Господи
Вытираю жир
Господи
Вытираю жир
AZ
Мы оба высказали, как видели друг друга на момент начала. И давай на этом закончим.
AZ
Пожалуйста, Коль!
N
ты говоришь "мне эстетически это больше нравится", а не "это юзабельно". Юзабилити - отдельная тема, и давай оставим ее за скобками. А я придаю меньшее значение эстетической оценке, а большее - корректности и формализации
AZ
ОСТАНОВИСЬ!