Расскажите как сейчас у PHP обстоят дела со статической типизацией. IDE поддерживает cтат анализаторы? В psalm там до сих пор нужно отдельно описывать psalm-типы и phpdoc даже когда типы совпадают? Можно ли сужать типы if'ами как в TS? Можно ли типизировать ассоциативные массивы (например если я не хочу создавать кучу DTO классов, но хочу автокомплит и рефакторинг в IDE). Планируются ли какие-то подвижки в сторону стат типизации на уровне языка как в Python 3.5+?

и не будет никогда

Ой я б не бил таким уверенним)

есть рантаймовый контроль типов

это не часть языка

вопросы?

Все - часть языка?

IDE поддерживает cтат анализаторы?
Нет, можешь попытаться юзать language server

В psalm там до сих пор нужно отдельно описывать psalm-типы и phpdoc даже когда типы совпадают?

Да, но псалм умеет понимать и стандартные пхп-доки.

Можно ли сужать типы if'ами как в TS?

Потыкай https://psalm.dev/

Можно ли типизировать ассоциативные массивы
Да

но хочу автокомплит и рефакторинг в IDE)
А вот это вряд ли будет,  я language server не юзаю но не помню чтобы там рефакторинг был