Groovy Static Type
Groovy @TypeChecked
Groovy @CompileStatic
Type checking extensions
Static code compilation in Groovy 2.0 - Java Performance Tuning Guide
Cédric Champeau's blog: Groovy static type checker: status update
Groovy 2: Type checking to the rescue!