静的型付け言語の中でも動的型付けは利用されているわけで(C言語で動的型付けの言語処理系を実装するとか)、動的型付けの言語の中で静的型付けでやる部分あってもいいよなあ。というかrubyで型推論とか言ってる人もいるってことは既にありがちなアプローチな…