Groovy 2.0の新機能静的型チェッカーは、戻り型や、代入時の値の整合性も検証します： import groovy.transform.TypeChecked @TypeChecked Date test() { // コンパイルエラー： // Date値はint型の変数には代入できない int object = new Date() String[] letters = ['a', 'b', 'c'] // コンパイルエラー： // String値はDate型の変数には代入できない Date aDateVariable = letters[0] // コンパイルエラー： // Date型を返すメソッドでString値を返すことはできない return "today" } この例では、int変数にDateは代入できないことや、メソッドシグネーチャで指定されているDate値のかわりにStringは返せないことをコン
