‘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.