Столько всего написали, и только один человек отметил, что не стоит путать сильную (в неправильном переводе "строгая") типизацию со статической.
В PHP динамическая типизация, это преимущество данного языка, т.к. не нужно писать дополнительный код для обработки разных типов. В PHP даже нет классической перегрузки, т.к. она там попросту не нужна. Но динамическая типизация в PHP ни разу не отменяет возможности работать с типами, и хороший программист так и делает.
Статически типизированные языки делятся на языки с сильной типизацией, например Java, и слабой типизацией, например Си. Сильная типизация это преимущество Java, как уже писали это облегчает отлов ошибок. Слабая типизация это преимущество Си, т.к. позволяет более гибко работать с данными, что повышает производительность.
Т.е. для каждого языка своя типизация в зависимости от направления этого языка, а все восторги у тех, кто не понимает что нет "серебренной пули", универсального решения на все случаи жизни, и всегда приобретая, чем-то жертвуешь. Заметьте, как много писали про компилятор и сильную типизацию, но по факту, интерпретирующий язык Java использует сильную типизацию, а компилирующий язык Си использует слабую типизацию.