VG
типами не все сделаешь, а вот перебором можно хотябы достичь некоторой вероятности что верна функция
Size: a a a
2020 May 08
VG
перебор же не полный, а рандомный
M
Вы блять можете прежди чем обсуждать определиться нахуя оно
G
Типикал код не ракетами рулит ты Овер инжир предлагаешь со своим пруф ба дезинг
есть грань где типы это перебор
VG
оно для того чтобы проверить что написал что хотел, а не байду
G
я не говорю через нее переступать лол
M
Ты пол трейда срешься с вечей хотя он те сказал что юнит тесты и краевые тесты норм
M
И я согласен
VG
так надо доказать что они норм
G
типами не все сделаешь, а вот перебором можно хотябы достичь некоторой вероятности что верна функция
я типами формально все могу сделать, другое дело интеграционные тесты где в принципе все поведение системы с другими системами задействовано
VG
сказать эт субъективно
VG
докажешь что твой код работает на powerpc с помощью типов?
M
так надо доказать что они норм
Бери любую статистику с тестами в среднем 8 ошибок на 10 косых
VG
или что веб страница не поедет в фаерфоксе?
M
Без 30 на 10 косых
G
докажешь что твой код работает на powerpc с помощью типов?
это дин фаза уже
VG
ага, вот типы не доехали уже
M
докажешь что твой код работает на powerpc с помощью типов?
Не решаемо
G
ну ок в стат фазе они работают
M
Никак