目的でものを考えてないから
型が必要とか思っちゃうんだろうなあ。

静的な言語の型推論と
動的な言語の目的は本質的に同じこと。