CD
Более того, лучше бы она багала
Size: a a a
2020 August 24
EG
В тестах ты проверяешь, что у тебя в результате люди живы.
EG
А не каким способом это достигнуто.
EG
Кстати, за счёт этого же тесты можно не переписывать, когда переписываешь функции
p
В тестах ты проверяешь, что у тебя в результате люди живы.
Забыл поставить поезд на текущую линию в тестах. Убил 100 человек, поздравляю.
CD
Забыл поставить поезд на текущую линию в тестах. Убил 100 человек, поздравляю.
Не убил.
p
Убил.
CD
Я тестировал реальные ситуации, а не функции
B
нашел прикольного чувака с которым можно сделать коллаб на тему парсинга барахолки и прочего. а чувак пишет на го...
Мммм, прекрасно.
Ну у тебя два пути, или писать самому, или писать на Го
Ну у тебя два пути, или писать самому, или писать на Го
CD
Я тестировал реальные ситуации, а не функции
Если бы я не пытался тестировать это руками, а поставил рандомизатор + критерий качества, я бы нашел багу
EG
С тестами без типов, кстати, жить можно, хотя и плохо. Пример: sqlite
EG
Примера реального проекта, который жил бы на типах без тестов, я не видел
p
Так тебе говорят, что качество отдельной проверки "нельзя переводить стрелку в направление стоящего поезда" не имеет значение
Зависит от логики, иногда имеет. Есть возможность переиспользовать это доказательство в другом доказательстве где проверяется что на текущей линии нет поезда.
EG
Даже в Idris есть встроенные инструменты тестирования.
CD
Зависит от логики, иногда имеет. Есть возможность переиспользовать это доказательство в другом доказательстве где проверяется что на текущей линии нет поезда.
Как тестирование соответствия твоей модели требованиям спасёт 100 человек от ошибки в твоей модели
CD
Чем выше по иерархии тем сложнее видеть ошибки
p
Примера реального проекта, который жил бы на типах без тестов, я не видел
Где-то в 5 веке до нашей эры какой-то Эмануилус Гольдшейнен:
- Да фигня все ваши компьютеры, не видел никакого работающего компьютера!
- Да фигня все ваши компьютеры, не видел никакого работающего компьютера!
CD
Увидеть 100 смертей в "нельзя переводить стрелку в направление стоящего поезда" практически невозможно
CD
Просто фундаментальное ограничение человеков
p
Даже в Idris есть встроенные инструменты тестирования.
?