型名を書かないのは型推論で実現できるので、動的言語である必要性はない