Если мы будем писать статические инспекции, использовать тот же линт - таких инспекций могут быть десятки и сотни тысяч, и все равно не покроем возможные аномалии. А например человек (или правильный ИИ) взглянет на текст - и скорее всего найдет что не так.

Это еще оч молодая область знаний. И пока неизвестные ошибки в коде чекать еще не умеем, разве что в стиле. Но всему свое время.

Злобный CI половину аномалий не пропустит даже до ревью

Известных ему аномалий* - да

Та нет же, допустим на галеру приходит проект от нового заказчика, и что, переписывать весь в стиле, принятом на галере? Увы, скажут допиливайте в текущем стиле.

clang-format, rustfmt, gofmt, black пофиг на предыдущий стиль. Все будет однотипным.

А если не пофиг на предыдущий стиль? Например, старая команда работает над проектом параллельно с вашей, по своим стандартам, принятым еще лет 20 назад?

сжечь

после прочтения.

+1

@uldin's rating is now 132

Угадайте, кому босс скажет подстраиваться, им под вас, или вам под них?

пф. я такой красавчик. выбор очевиден.

Чтобы примерно оценить сложность задачи, предлагаю рассмотреть оч простой случай. Вот есть некий код, много кода, скажем, исходники JDK. Нужно автоматически определить такой элемент стандарта, которому следовали разработчики, как максимально допустимая длина строки (раньше это было 80 символов, скажем). С учетом возможных нарушений стандарта в текущем коде. Уже эта одна задача способна сломать мозг, а ведь это детский сад.

сжечь.

голову с плеч.

Матстатом это решается, но сложно. А в то же время человек, бегло пролистав исходники, сразу заявит - ба, да тут же явно старый стандарт 80 символов, которому не оч аккуратно следовали! ))

Повторюсь, проблема шире. Можно, скажем, по поведению автомобилей на дороге пытаться детектить пьяных. Определять стрессовое состояние у пилота. Или что диспетчер не выспался. Будет использоваться тот же аппарат, в том числе возможно с ИИ. Но все это - детект результатов на базе собранных ранее данных (об этом есть курс на Курсере). Причем это намного проще, чем искать заранее неизвестные ошибки в коде.

Всему свое время, ИИ ошибки в коде тоже научится детектить, но когда-нибудь потом. В общем, слава роботам! ))

Ошибку в коде еще формализовать надо (как это сделать вручную понятно, но автоматически?), это тот еще квест. И это скорее к философам вопрос. )