Да, пых динамически типизирован, но у меня иногда такое ощущение, что мне недостаёт типизированных выходных условий. Для тех кто не понимает моего бреда, пример
function setUser(User $user); <- входное условие
function getUser(): User; <- выходное условие
Я не особо парюсь, но я ж говорю есть только ощущение, может у кого есть реальные потребности или типа того?