Java 8 for Compiler Writers - New VM Features and Language Enhancements

Explore Java 8's new features for compiler writers in this 46-minute talk by Dan Smith. Dive into default methods, examining their class file format, permitted interface flags, invocation forms, and semantics. Learn about maximally specific methods, resolution, and the semantics of various invocation types. Discover the Lambda Metafactory, including its contract, API, and relevance. Gain insights into type annotations, covering JSR 308, class file attributes, and parameter reflection. Enhance your understanding of Java 8's compiler-related improvements and their implications for language implementation.

Intro
New Java SE 8 VM-related Features
Default Methods: Overview
Default Methods: Class File Format
Default Methods: Permitted Interface Flags
Default Methods: Permitted Invocation Forms
Default Methods: Semantics of Invocation
Default Methods: Maximally Specific Methods
Default Methods: Maximally Specific Example
Default Methods: Resolution
Default Methods: Semantics of invokeinterface
Default Methods: Semantics of invokevirtual
Default Methods: Semantics of invokestatic
Default Methods: Semantics of invokespecial
Default Methods: Summary
Lambda Metafactory: Overview
Lambda Metafactory: Contract
Lambda Metafactory: API
Lambda Metafactory: Relevance
Type Annotations: Overview JSR 308
Type Annotations: Class File Attributes
Type Annotations: Accessing
Parameter Reflection