Про ёжика в тумане, зазнайство, языки программирования и вериги

[vit_r]

На одном местном форуме очередной гений жаловался на судьбу. Он сделал великолепную программу, а начальство требует, чтобы в ней могли разбираться другие люди. Не гениальные

Comments

[_windwalker_]

на самом деле если поломать код до дебаггинга со статическими типами - то всё, пиздец, бабушка приехала. Т.к. по крайней мере в скале тот пиздец что выдаётся в байткод дебажить невозможно + какие-то косяки с debug classpath даже у юнит-тестов.

по крайней мере в случае исполнения юнит-тестов из IDE.

методом подключения к внешнему процессу из sbt я не пробовал, анальным сексом я занимаюсь только на работе, а не на бесплатных курсах имени мартина одерски.

[metaclass]

Подтверждаю, отлаживать функциональщину нереально.

Возможно, если бы мне кто дал этим заняться, я бы придумал способ выводить диаграммы потоков данных для отладки (вместо непригодных стек-трейсов и пошаговой отладки), но мне надо прикладной софт писать, а не мир улучшать :)

[vit_r]

Насколько понимаю, это тестируется заглушками и сравнением записанных call sequence diagram с заданными. В телефонии всё просто, там CSD - часть стандарта.

[vit_r]

Я уже много лет не заглядываю в дебаггер, обходясь функциональными тестами и автоматическим выводом диагностики. И всё плотно покрыто проверками в assert,

Правда, мне скорость работы пофиг и важна только правильность.

[_windwalker_]

ух, это прикольно. правда с функциональными тестами есть проблема - их взрывное количество при сложных взаимодействиях. или нет ?

[vit_r]

Смотря на каком этапе проверять.

Если мы обрезаем небольшую подсистему и / или небольшой участок функциональности и проверяем только их, количество вариантов ограничено. Если собрать что-то большое и начать проверять в этот момент, то тут, действительно, получится грустно.

Потом, у меня на входных данных и инвариантах стоят assert. В результате, если одна часть системы ведёт себя неожиданным образом, другая сразу же фиксирует ошибку. (Или же правильное поведение, которое ошибочно было предсказано не так, каким должно быть).

Если по ошибке сразу не видно, в чём причина, то в этом месте вырезается заглушками подсистема или участок функциональности, и см. выше.

[_windwalker_]

ясно, всё по-уму.