8.1 静的型チェック - MyBetaBook

Groovy 2.0では新機能として「静的Groovy」が導入されました。静的Groovyは、「静的型チェック」と「静的コンパイル」の2つの機能から実現されています。本節では静的型チェックについて説明します。 静的型チェックとはGroovy 2.0の静的型チェック機能は、動的型言語であるGroovyに、静的な型チェック、つまりコンパイル時の型チェック機能を新たに導入するものです。 もともとGroovyでは、 int i = "ABC" + "DEF" // (A) このようなコード(A)はコンパイル時のエラーにはなりません。 なぜなら、動的言語(=実行時にメソッドやクラスを改変できる言語)であるGroovyにおいては、(A)に行きつく前に、例えばメタクラスを用いた以下のようなコード(B)が実行されていれば、(A)は完全に正しいコードだからです。 String.metaClass.plus