FO
и код должен вызываться!
Size: a a a
2021 June 06
Dv
Сторонники всяких там TLA+ и прочей Агды с тобой не согласятся.
t
Ну, иногда полезно иметь укрупнённую схемку. Правда, если сильно укрупнить, то они все одинаковые
Dv
У них там самого факта, что код скомпилировался, достаточно
t
Вызвать агду... это как ктулху
Dv
Мне за последнее время дохера выдаётся разбираться с чужим кодом, и я пытаюсь как-то хотя бы на интуитивном уровне сформулировать, как это вообще делать
Dv
И кажется, что надо просто часик посидеть в подсистеме, попытаться в ней что-то поменять, мб поползать с дебаггером. И тогда разберёшься
FO
не соглашусь... если код не вызывается => не верифицируется => можно сломать так. что будет компилироваться, но ответ будет неправильный
Dv
Поймёшь, за какие ниточки в ней дёргают.
t
Если есть тесты, то я с них начинаю.
Dv
В суперновомодных языках нельзя
Dv
А с тестами всё сложно бывает.
t
Если естов нет, то пытаюсь увидеть части, потом разбираться на мелком уровне
t
Хорошо, когда есть актуальные)
Dv
Ну, во всяком случае, энтрипоинты в подсистемах я и так знаю — а это как раз та часть, с которой однозначно помогают тесты
t
я часто вижу код по 5-10к строчек в одном файле. Но это не в проектах на работе, а в питоноскриптах
Dv
А уж какие инварианты там зафиксированы тестами — для разбирательства в коде не так важно.
t
сука
Dv
Мне уже раз в неделю приносят пул-реквесты на 2-3к
Dv
Правда, в одном файле такое редко встречается, да.