'Translation of Lambda Expressions in javac' Spec
A first draft of the 'Translation of Lambda Expressions in javac' specification is now available.
The specification aims to present a strategy for translating portions of the 'Lambda Strawman' proposal from Java source code, to bytecode.
A pseudo-syntax for method references will be used for translating to the enhanced 'LDC' bytecode that takes a MethodRef constant type and returns a DirectMethodHandle. The specification proposes to implement function types using method handles. Method handles are strongly dynamically typed but are weakly statically typed.
The draft (pdf) is available now.