Latest Thinking

[John Rose]

On Jun 22, 2010, at 2:25 PM, Rémi Forax wrote:

> There is another possible design.
> Allow users to create fake types like java.dyn.Invokedynamic
> and define the annotation on that type.

I'd rather not let the magic signature polymorphism escape beyond the current set of names (InvokeDynamic and two methods of MethodHandle).  It pulls an "innocent" name into a dark corner of the language.

Also, putting an optional annotation on each call site is more flexible.

I wish we had expression annotations...

-- John