Как показывает статистика, для трансляции из строго типизированных языков в нестрого типизированые бывают хорошие средства, но не наоборот. Когда одна переменная в своём жизненом цикле принимает сущности разных типов, это сводит трансляторы с ума, или их разработчиков.