動的言語＋型＋静的型チェック＝静的型付け言語
と考えれば、静的型付けの方がリッチだな。
いらないときは静的型チェックをはずせばいいだけ。