動的型付けの方が言語の実装は簡単。