CD
это ошибка уровня "неправильно понял спеку"
это ошибка уровня "ошибка в спеке"
Size: a a a
2020 August 23
ΑZ
ошибка в спеке часто на типах всплывет когда программа не докажется
ΑZ
@f0land может рассказать когда он пытался доказать функцию
ΑZ
а она не доказыалась никак
ΑZ
не компилится и все чего не делай
ΑZ
потом оказалось, что утверждение недоказуемо в принципе)
CD
ошибка в спеке часто на типах всплывет когда программа не докажется
да, и ты будешь испрвлять эту часть ошибок, но при этом совершенно не будешь видеть ошибки в спеке, которые сохраняют внутреннюю логику
спека полностью непротиворечива и приводит к ошибочному результату
спека полностью непротиворечива и приводит к ошибочному результату
CD
ты хочешь проверить спеку на непротиворечивость после того, как проверишь её на адекватное отражение реальности
M
Был программист, сломался программист
KR
Как ни странно, чай лучше кофе как стимулятор
Особенно крепкий пуэр
CD
ошибка в спеке часто на типах всплывет когда программа не докажется
и да, это не аргумент против всей идеи компильтайм проверок, это аргумент за наличие костылей "просто поверь мне, пусть даже тут бага"
KR
я большой любитель горьких безалкогольных напитков и не понимаю, как эти дауны добавляют своё алкогольное дерьмо в супервкусный тоник)
+
ΑZ
да, и ты будешь испрвлять эту часть ошибок, но при этом совершенно не будешь видеть ошибки в спеке, которые сохраняют внутреннюю логику
спека полностью непротиворечива и приводит к ошибочному результату
спека полностью непротиворечива и приводит к ошибочному результату
это очень маловероятно
ΑZ
исключить класс багов лучше чем не исключать
ΑZ
смотри
CD
тоже горишь, что весь швепс в РФ с тонной сахара?
ΑZ
есть спектр языков
ΑZ
слева питухоны которые ничего не чекают
CD
это очень маловероятно
как ни странно, я вижу перед собой одну такую ошибку