Overview
Explore the future of Java generics in this 49-minute conference talk from the 2015 JVM Language Summit. Delve into the challenges of current generics implementation and discover potential solutions proposed by Brian Goetz. Learn about parametric polymorphism, the Prime Directive, and generic class specialization. Examine the intricacies of wildcard translations, accessibility challenges, and array handling. Investigate the implications of overly typed bytecode, erasure, and specialized method signatures. Gain insights into the ongoing efforts to improve Java's type system and enhance performance through the "Valhalla" project.
Syllabus
Intro
Why do we need better generics?
What's the problem with generics?
Many paths to parametric polymorphism
The Prime Directive
Generic class specialization
Specialization example
Specialization metadata
Generic methods
Summary - Act 1
What about Foo
Rescuing wildcards
Translation with wildcards
More translation examples
Wildcard challenge - accessibility
Wildcard challenge - arrays
Summary - Act 2
overly typed bytecodes
erasure
describing specializations
method signatures
What's the point?
Summary - Act 3
Taught by
Java