DOT: Foundation of Scala 3 - Dependent Object Types Calculus
Offered By: NashKnolX via YouTube
Course Description
Overview
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.
Syllabus
DOT: Foundation of Scala 3
Taught by
NashKnolX
Related Courses
Functional Programming Principles in ScalaÉcole Polytechnique Fédérale de Lausanne via Coursera Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera Parallel programming
École Polytechnique Fédérale de Lausanne via Coursera Big Data Analysis with Scala and Spark
École Polytechnique Fédérale de Lausanne via Coursera Functional Programming in Scala Capstone
École Polytechnique Fédérale de Lausanne via Coursera