DOT: Foundation of Scala 3 - Dependent Object Types Calculus

Explore the Dependent Object Types (DOT) calculus, a new type-theoretic foundation for Scala 3 and similar languages, in this one-hour conference talk. Delve into DOT's modeling of Scala's path-dependent types, abstract type members, and its unique blend of nominal and structural typing through refinement types. Examine how this core formalism simplifies Scala's type system by unifying type member constructs and introducing classical intersection and union types, streamlining greatest lower bound and least upper bound computations. Gain insights into DOT's approach, which focuses on normalizing the type system without addressing inheritance and mixin composition.