Основная проблема динамически-типизированных языков - это проблемы с рефакторингом реальных кодовых баз на них.
Это выходит очень уж дорогим удовольствием, по сравнению со статически типизированными языками, причем даже по сравнению с далеко не самыми лучшими их представителями.
Этому спору лет больше, чем мне, кажется. Вот мне сразу вспоминаются две большие традиции языкотеоретиков и компилятороакадемиков: работающие в русле (динамических) Scheme и работающие с семейством (статически типизированных) ML. Интересно, что есть еще отдельно стоящие практики, с их Fortran/C/C++.
Ну я так, по мотивым персональных изысканий сужу, конечно, большая перспектива Петру виднее.