Interview
summary
A next‑generation compiler called Dotty has been under development for about four years and targets a radically smaller, more principled typechecker based on DOT theory to avoid combinatorial explosions when adding features. It replaces Scala's noncommutative with compound types with an ampersand & for true intersection and introduces a bar | for union, ships as a parallel release alongside Scala 2, and aims for production use after an upcoming spring release cycle.
AI-written summary · about
