Почему столько восторгов вокруг типизации? По-моему без нее намного проще, не?
Дополню все остальные ответы, что не стоит путать строгую типизация со статической.
Typehint-ы в том же php намного упрощают понимание и разработку кода, оставляя его все также слабо типизированным языком.
Вот тут, как по заказу - отличный пример, зачем нужны объявления переменных, типизация и прочие "излишества, ограничивающие программиста" :-)))