ну мол основная техническая загвоздка - как хранить доп информацию о типах в рантайме так, что бы не раздувать zval и при этом не особо напарываться на проблемы с кэш мисами
есть незначительная вероятность что что-то в лесу сдохнет и они смогут инфу о типах юзать для оптимизаций (как сейчас opcache может на основе типов сразу специализированные опкоды прокидывать если тип известен)
особенно в свете prefetch это вероятно. Мол проверять типы при компиляции кода. Проблема в том что ты не сможешь это достаточно точно сделать и всегда будут моменты где тип не определен или теряется информация о типах.
ну короч в "классическом пыхе" в целом похеру на эти типизированные свойства... есть - хорошо, нет - похеру) а вот больным ублюдкам явно это вот прям ну совсем не надо