«Баги нельзя найти, читая код». Одна строка про ревью расколола экспертов

Тезис в одну строку — и отступление

Марк Джейсон Доминус (mjd), математик и программист, выложил намеренно острое утверждение: главная цель код-ревью в том, чтобы найти код, который будет тяжело поддерживать, а не искать баги. Обоснование было ещё резче: «в общем случае найти баги, разглядывая код, невозможно». Плюс замечание про несимметричную вину за охоту на баги: выложись до изнеможения, найди три бага — и тебя всё равно упрекнут за пропущенный четвёртый. (Mathstodon для этого выпуска не отрендерился; процитированные строки читатели воспроизвели дословно.)

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

«Автор — математик, поэтому, когда он говорит «в общем случае найти баги, разглядывая код, невозможно», он не имеет в виду, что найти баги совсем нельзя. Он лишь про то, что нельзя найти все баги или хотя бы какой-то конкретный баг.» — Марк Джейсон Доминус, автор поста

Само разногласие и стало открытием

Суженный тезис не устроил самого острого критика:

«Это лишь делает и ревьюеров, и авторов ленивее. Цель код-ревью многогранна. Тяжело поддерживать? Да. Могут быть баги? Да… Эта небрежная заметка — по большей части ещё одно самооправдание ленивого ревьюера.» — сооснователь WebAssembly и бывший ведущий компилятора V8

Тот, кто занимается ревью профессионально, отверг саму посылку:

«в настоящих ревью ревьюеры постоянно находят баги и ошибки. Ревьюер приносит свой прошлый опыт, замечает незамеченное взаимодействие, придумывает граничный случай, о котором автор не подумал.» — комментатор с высокой кармой, спорящий из практики ревью

А затем комментарий, который переосмыслил весь спор, назвав причину, по которой все говорили мимо друг друга:

«нет никакой единой цели код-ревью, которую можно обсуждать. Оказывается, пока все мы думали, что делаем это по одним причинам, на деле — нет. И это реально так. У нас разные цели, у нас разная методология.» — ветеран-комментатор с кармой около 92 тысяч

Вот что скрывал заголовок. Спор был не про баги против поддерживаемости, а про то, как за два десятилетия инженеры осознали: ритуал, который они выполняют каждый день, значит для каждого из них разное. А разногласия о том, как ревьюить, растут из невысказанного разногласия о том, зачем.