VP
А линтер тебя должен заставить пробел поставить перед
printf???
Size: a a a
2020 May 12
R
если код валиден для компилятора
NM
Точнее вот поправил код
NM
Реальный случай)
NM
А потому, что должно быть так:
if length = 4 then
()
else if length > 0.Count then
printf "asds"
let a = b
if a = b then
()
else
()
R
А линтер тебя должен заставить пробел поставить перед
printfпочему?
R
ну так это человек, который пишет код, знает, что на принте не должна останавливаться ветка
R
Но он так же вполне имеет право ее там и остановить
R
линтер намерения читать точно не может)
NM
Линтер должен тебя заставлять пробелы ставить
КП
По-моему, линтер это статический анализатор. А форматирует какой-то автоформаттер 🤔
Линтеры бывают разные. Или я не понимаю, что это такое. Как-то писал в jslint (или какой-то из них) ишуй, что они не детектят очевидный признак бесконечной рекурсии. Сказали, что это не задача линтера и закрыли ишуй.
NM
И если бы там стоял пробел, человек бы увидел ошибку свою
NM
А так даже я когда глянул в код не сразу раздуплил
R
Линтер должен тебя заставлять пробелы ставить
ну так смотря где. Если пробел меняет поведение — линтер не может тебе на этот счет ничего сказать. Линтер же не знает, что ты хочешь написать
АУ
Линтеры бывают разные. Или я не понимаю, что это такое. Как-то писал в jslint (или какой-то из них) ишуй, что они не детектят очевидный признак бесконечной рекурсии. Сказали, что это не задача линтера и закрыли ишуй.
набор правил для линтеров, их качество и глубина анализа могут быть разными. Но в моём мире это всё равно статический анализатор, который именно что ловит подозрительные места с точки зрения логики
NM
Линтеры бывают разные. Или я не понимаю, что это такое. Как-то писал в jslint (или какой-то из них) ишуй, что они не детектят очевидный признак бесконечной рекурсии. Сказали, что это не задача линтера и закрыли ишуй.
Ну линтер по идее должен за стилем кода только следить, а детект рекурсий это уже анализатор
КП
набор правил для линтеров, их качество и глубина анализа могут быть разными. Но в моём мире это всё равно статический анализатор, который именно что ловит подозрительные места с точки зрения логики
А в питоне линтер это такая штука, которая в попугаях говорит, какой красивый у тебя код.)
АУ
Тогда я тоже не сильна в терминологии
NM
Глупо ожидать от PVS Studio форматинга кода, у него работа - статический анализ
КП
pylint -> Code score: 10/10 o bozhe