A
в псалме полно багов (ложноположительных) - поэтому да, заводить таски на гитхабе дело нормальное. я тоже заводил
Насколько я помню баги там эти фиксятся очень быстро.
Size: a a a
2021 January 14
NO
Типы это хлам в коде?
Аннотации.
A
Аннотации - хлам.
Окей, откуда псалм типы должен брать тогда?
ВУ
Насколько я помню баги там эти фиксятся очень быстро.
да, потому что для мэтью это работа))
АГ
Насколько я помню баги там эти фиксятся очень быстро.
https://github.com/vimeo/psalm/issues/4716 вот я заводил, все висит... еще в ноябре было дело
ВУ
в псалме полно багов (ложноположительных) - поэтому да, заводить таски на гитхабе дело нормальное. я тоже заводил
ну и инструмент, справедлиовсти ради, нетривиальный
A
Он же анализатор. Пусть анализирует. Я везде типы прописываю где можно )
Анализировать то надо на основе чего-то.
АГ
ну и инструмент, справедлиовсти ради, нетривиальный
да, если пролистать таски - там куча задач с меткой баг, и многие не такие и свежие...
АГ
не вывозят, впрочем это видимо не критично все
A
В распространенных языках со статической типизацией вообще почти везде так. Вывод типов особо не работает.
NO
Мне кажется ты сам себе противоречишь. Хочешь чтобы адекватно работали проверки на типы, но не хочешь их аннотировать.
Ты ничего не путаешь? Указание типа есть в синтаксисе языка. Типы в аннотациях - это PhpDoc.
ЕР
Ты ничего не путаешь? Указание типа есть в синтаксисе языка. Типы в аннотациях - это PhpDoc.
Адекватно аннотировать, а не использовать пхп-пародию на типы)
АГ
типы в пхпдоке и типы в пыхе - две большие разницы. типы в пыхе это маааленький сабсет типов в пхпдоке
A
Ты ничего не путаешь? Указание типа есть в синтаксисе языка. Типы в аннотациях - это PhpDoc.
Нет. Я ничего не путаю. Мы говорим про psalm, а не пхп. А его типы, если они не укладываются в пхпшные указываются в виде phpDoc.
A
Первое я делаю, второго избегаю по возможности, так как захламляет код.
Ну я и говорю, показывать где какой тип ты псламу не хочешь, но при этом хочешь чтобы он адекватно все проверял.
АГ
не все можно понять из кода, то что касается типов. даже я бы сказал мало что можно понять