CD
Он сказал про сложную логику
Так зачем тестировать конкретно это
«На нашем идрисе с завтипами гораздо проще написать факториал»
Проще, а зачем?
Size: a a a
2020 August 24
CD
Давай тестировать функцию, которая использует реверс списка
EG
Давай тестировать функцию, которая использует реверс списка
++
CD
Она же совершенно точно сломается, если реверс кривой
EG
Тестировать надо, что поведение системы корректно, а не минимальные хелперы
p
Давай тестировать функцию, которая использует реверс списка
Зачем если можно доказать свойства реверса и использовать их?
EG
Зачем если можно доказать свойства реверса и использовать их?
Тебе не нужно доказывать свойства реверса.
CD
Зачем если можно доказать свойства реверса и использовать их?
Есть статистика реального мира, что наиболее разрушительны ошибки взаимодействия трёх сущностей
CD
Как правило, халатности, непрофессионализма и защиты от дурака
T1
таких микросервисов у нас 50 штук
а ты где работаешь
p
Тестировать надо, что поведение системы корректно, а не минимальные хелперы
То есть типы не нужны по твоей логике, потому что нахрена нам знать что вот здесь будет число, будем тестировать что прилетает по апишке? И юнит тесты не нужны?
CD
Зачем если можно доказать свойства реверса и использовать их?
Доказательство корректности реверса не спасёт тебя от того, что твоя защита от дурака убьёт 100 человек
CD
Полностью штатно отработав
p
Доказательство корректности реверса не спасёт тебя от того, что твоя защита от дурака убьёт 100 человек
Каким образом?
EG
То есть типы не нужны по твоей логике, потому что нахрена нам знать что вот здесь будет число, будем тестировать что прилетает по апишке? И юнит тесты не нужны?
Типы нужны в том масштабе, в котором они решают больше проблем, чем создают.
CD
Каким образом?
Правило: "нельзя переводить стрелку в направление стоящего поезда"
CD
Чувствуешь подвох?
p
Типы нужны в том масштабе, в котором они решают больше проблем, чем создают.
Любые типы решают больше проблем чем создают
p
Чувствуешь подвох?
Нет