It would be really nice if groovy will include some annotation for type checking named params.
For example we do not know what map is expected until we go into source.
In @CompileStatic case it could be used to fail the compilation if user tries to get some unknown value from map, and also fail if user does not pass some required argument.
Also it could be used to annotate map-constructors in compile-time.
And the last one: it will be VERY useful for IDEs.