ま、Javaはこの際置いておくとして。

静的型言語も型推論で簡潔さと柔軟さを確保しつつあるし、
動的型言語も実行速度の問題が改善されつつある。
ユニットテストのフレームワークも大抵の言語にはある。
だから型付けだけで簡単に優劣を語れなくなってきてると思う。

というわけで、将来的に伸びるのはどんな特徴を持った言語だと思う?