SM
Может не знал, что есть дока.
Size: a a a
2020 January 23
VS
Подскажите почему псалм не может проанализировать код правильно, если вынести условие в отдельную ф-цию? https://psalm.dev/r/fe3dd1e86a. Или я что то делаю не так?
Л
Он просто не заглядывает вглубь.
Л
Перепиши функцию валидации чтобы наоборот она кидала ексепшн, но возвращала гарантированно строку
VS
Лев
Перепиши функцию валидации чтобы наоборот она кидала ексепшн, но возвращала гарантированно строку
Не хотелось бы, чтобы метод валидатор делал что то кроме валидации
Л
Такие моменты не только у псалма
Л
Попробуй этот же код через phan
VS
Выглядит, как полная дичь.
Л
Ну сделай им коммит...
VS
phan та же дичь(та же ошибка)
ЕР
Vlad Sobenko
Подскажите почему псалм не может проанализировать код правильно, если вынести условие в отдельную ф-цию? https://psalm.dev/r/fe3dd1e86a. Или я что то делаю не так?
ЕР
Сам не распарсит, увы
VS
Сам не распарсит, увы
Спс. Жаль.
SP
Vlad Sobenko
Подскажите почему псалм не может проанализировать код правильно, если вынести условие в отдельную ф-цию? https://psalm.dev/r/fe3dd1e86a. Или я что то делаю не так?
потому что псалм при проверке типов проверяет лишь сигнатуры методов которые ты дергаешь. Ну и в целом с точки зрения типов, у тебя тип
В тайпскрипте скажем это можно было бы сделать за счет
DEVICE_MAP все ж таки array<array-key, string>. Вот если бы у тебя ключ был описан суммой литеральных типов то можно было бы твою функцию isValidName сделать как тайп гвард (ассерты в псалме). В тайпскрипте скажем это можно было бы сделать за счет
as const и keyof typeof DEVICE_MAP. В псалме такой возможности нет.VS
потому что псалм при проверке типов проверяет лишь сигнатуры методов которые ты дергаешь. Ну и в целом с точки зрения типов, у тебя тип
В тайпскрипте скажем это можно было бы сделать за счет
DEVICE_MAP все ж таки array<array-key, string>. Вот если бы у тебя ключ был описан суммой литеральных типов то можно было бы твою функцию isValidName сделать как тайп гвард (ассерты в псалме). В тайпскрипте скажем это можно было бы сделать за счет
as const и keyof typeof DEVICE_MAP. В псалме такой возможности нет.Спс. Только прикрутили на легаси. Вопросов много).
AD
потому что псалм при проверке типов проверяет лишь сигнатуры методов которые ты дергаешь. Ну и в целом с точки зрения типов, у тебя тип
В тайпскрипте скажем это можно было бы сделать за счет
DEVICE_MAP все ж таки array<array-key, string>. Вот если бы у тебя ключ был описан суммой литеральных типов то можно было бы твою функцию isValidName сделать как тайп гвард (ассерты в псалме). В тайпскрипте скажем это можно было бы сделать за счет
as const и keyof typeof DEVICE_MAP. В псалме такой возможности нет.есть key-of
SP
есть key-of
я вкурсе, и что ты можешь объявить тип и сдеть ассерт этого типа в целом тоже но насколько я помню псалм пока не настолько умный
ММ
Всем привет!