ну как бы да, но как бы, не так как в типизированных языках, нужна динамика и строгость одновременно
Ruby, python - динамическая строгая типизация одновременно. Чего и в PHP хотелось бы. И в PHP 7 это уже будет.
Причем на уровне инструментов это будет и статической типизацией. И даже в текущем PHP 5 это так.