JSR-292: Why not java.lang.dyn?

[Rémi Forax]

Le 04/10/2009 19:11, Paul Benedict a écrit :
> I thought the language was being modified to make Dynamic<>  exempt
> from type-checking rules.

In fact, this is InvokeDynamic.invoke() and MethodHandle.invoke()
that allow you to escape the type-checking rules.

>   The way I look at it, grammar is the
> underpinnings of language. To "read the grammar" is analogous to
> "compiling the source" -- both are about making sense of tokens.

I think you forget 'infer the semantics' somewhere.

>   With
> the introduction of Dynamic<>, I have to amend my understanding of the
> grammar to no longer perform type-checking rules. Hence, this is a
> language issue.
>
> Did I misunderstand?
>
> Paul
>    

There is two specifications :
One is about bringing invokedynamic to the VM,
the JSR292 spec. This spec doesn't require any change to the JLS,
only change to the JVMS.

The other spec is how to allow Java (the language) to use the
invokedynamic/method handle stuff.
Clearly this requires changes of the JLS.
see http://wikis.sun.com/display/mlvm/ProjectCoinProposal

Rémi