A
Интересно, на аттрибутах можно будет сделать inline функции.
Size: a a a
2020 May 05
BT
ну, факт наличия "своей" терминологии при существовании общей - уже странно
ЕР
ну, факт наличия "своей" терминологии при существовании общей - уже странно
Ну как минимум нет разделения на уровне языка и каких-либо гарантий что какая-то функция действительно чистая
ЕР
У меня вот на пхп есть dto с геттерами, и psalm'у не объяснить что их результат детерменирован, приходится сначала получать значение, потом делать проверки, потом использовать
A
Ну как минимум нет разделения на уровне языка и каких-либо гарантий что какая-то функция действительно чистая
А где они вообще есть, эти гарантии что функция действительно чистая?
A
У меня вот на пхп есть dto с геттерами, и psalm'у не объяснить что их результат детерменирован, приходится сначала получать значение, потом делать проверки, потом использовать
А у псалма же врое есть immutable/mutation-free и тд
ЕР
А у псалма же врое есть immutable/mutation-free и тд
Так я по сути метод дёргаю
A
Так я по сути метод дёргаю
А что значит "не объяснить что их результат детерменирован, приходится сначала получать значение, потом делать проверки, потом использовать"?
ЕР
А что значит "не объяснить что их результат детерменирован, приходится сначала получать значение, потом делать проверки, потом использовать"?
Ну например значение nullable, а я делаю проверку что там не null и дальше прокидываю куда-то
ЕР
if($dto->getA() === null) { throw... }
else doSmth($dto->getA());A
if($dto->getA() === null) { throw... }
else doSmth($dto->getA());if ($a = $dto->getA() === null) { throw ... } else doSmth($a);
ЕР
if ($a = $dto->getA() === null) { throw ... } else doSmth($a);
Ну вот так и приходится, как вариант, да
BT
Ну например значение nullable, а я делаю проверку что там не null и дальше прокидываю куда-то
я не совсем понимаю, как это относится к понятию чистой функции
ЕР
я не совсем понимаю, как это относится к понятию чистой функции
Если бы psalm знал что результат getA детерменирован, он бы не жаловался что я не проверил что там не null в коде https://t.me/codeflood/167800
BT
Если бы psalm знал что результат getA детерменирован, он бы не жаловался что я не проверил что там не null в коде https://t.me/codeflood/167800
если у тебя результат детерминирован - тогда почему он nullable?)
BT
но это нюансы, такое
A
я не совсем понимаю, как это относится к понятию чистой функции
Он видимо имеет в виду следущее. getA() чистая. Мы в одном месте проверили, что она возвращает не null, значит в другом месте вызов этой функции должен уже вернуть не nullable объект.
RS
Переменные до Богдана:
После:
$a, $xa, $zcaПосле:
$someParamByOtherValueFromClassDocumentEntityBT
Он видимо имеет в виду следущее. getA() чистая. Мы в одном месте проверили, что она возвращает не null, значит в другом месте вызов этой функции должен уже вернуть не nullable объект.
*вызов этой функции с теми же аргументами
DT
если у тебя результат детерминирован - тогда почему он nullable?)
вот и псалм удивляется)