Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
