Pattern Matching in Java: Implementation and Performance Considerations

Explore pattern matching in Java through this 54-minute conference talk. Dive into the challenges and proposed solutions for implementing pattern matching, including performance considerations and implementation principles. Learn about use-site polymorphism, compiler requirements, and the role of value types. Examine examples of evaluating and simplifying expressions, and understand the implications for binary compatibility. Gain insights into the design decisions and trade-offs involved in bringing this powerful feature to the Java language.

Intro
Pattern Matching
Example: Evaluating Expressions
Use-site polymorphism
What's Going On?
Language Feature, or VM Feature?
Are Patterns Methods?
A Compiler Writers Wish List
Fetch Me My Magic Hammer
Performance Goals
Intermediate Carriers
A Strawman
Invoking Dtors
Composing Dtors
Translating Pattern Switch
Binary Compatibility
Summary
Example: Simplifying Expressions