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
