動的型情報に基づく静的型チェックというアイデア(Groovy 2.1リリース記念) - uehaj's blog

Groovy 2.1がリリースされました。おめでとう! 「Groovy 2.1.0は凄い」で自力で調べた以上の情報がリリースノートには書いてあります。まあ、そうなるわな。 これを記念して、こないだ作った静的型支援ツール「Staticalizer」を、Groovy 2.1.0でより機能強化するためのアイデアを書き残しておきます。 Staticalizerは、実行時の引数やメソッド返り値の型情報を収集し、その型をソースコードにうまく埋め込み戻し、コンパイル時の静的型チェックや静的コンパイルにフィードバックしようと言うものでした。 でもちょっと待って下さい、ソースコードに型を埋め込み戻すなんてことは、必要なんでしょうか？コード、汚れますよね。冗長ですよね。必要悪ですよね。ソースコード上の型情報なんて、IDEが隠蔽してくれて、必要な時だけ表示してくれりゃいいんですがね*1。そう、型推論てのがありま

[terazzo]

評価器を切り替えることで実行したり事前にヴァリデーションの情報集めたりするのは自分もやりたいなあ。