Dotty Linker - Precise Types Bring Performance

Explore the power of precise types in performance optimization through this Scala Days conference talk. Discover how the Dotty Linker, a whole-program optimizer, revolutionizes Scala code optimization. Learn about reducing performance overhead in generic methods, classes, lazy vals, implicit conversions, and closures. Examine the impact of dynamic dispatch, specialization techniques, and their use cases through benchmark demonstrations. Delve into the limitations, code simplification, library optimizations, and rewrite rules. Gain insights into purity analysis, warnings, logging, and randomized testing. Understand the current status of this breakthrough technology and its potential to enhance Scala programming efficiency.

Who am I
Where does slow down come from
Scala vs Java
Dynamic Dispatch
Compiler
Specialization
Specializations
Use Cases
Demo Benchmark
Limitations
Less code
Complex code
Library optimizations
Rewrite rules
Purity
Warnings
Logging
Randomized Testing
Current Status
Thank You