> фб не могут себе позволить переписывать весь код с похапэ на Новый
> Стильный Язык. вот и лепят костыли.

Проверку типов можно сделать интерфейсами и заворачиванием в объекты, единственная проблема это контроль типа возвращаемого значения. Но и это решаемо: например обернуть возвращаемое значение в принимающую функцию с нужным типом. Для скорости переписать на C и сделать для всех pecl.

Оно конечно понятно: контроль типа, хорошее средство для борьбы с ошибками. Чем раньше программа завалится - тем лучше. Идеально, это когда валится на этапе компиляции. Для того чтобы это разрешать успешно - настроить свой редактор на linting. Благо средства для этого есть, хотя проблему контроля возвращаемого/принимаемого значения не решает к сожалению. Но это уже другой вопрос - лучше тогда уж делать компилятор нормальный, с раскруткой термов и контролем, если это возможно - и то не всегда... Эту проблему надо решать с другой стороны имхо.