Explore the foundations of object-oriented programming and static type systems in this 49-minute Devoxx conference talk by Martin Odersky, creator of Scala. Dive into the DOT calculus, developed as the foundation for the next version of Scala, and learn about its principles for building modular systems. Discover how the dotty compiler implements DOT constructs and drives Scala's evolution. Gain insights into dependent types, DOT syntax, and their implications for language design. Examine concepts like implicit function types, contextual programming, and efficiency improvements in Scala. Benefit from Odersky's extensive experience in programming language development and his vision for making programming more enjoyable and productive.
Overview
Syllabus
Intro
Background
One Step Back
Why Do Foundations Matter?
Why Not Pick Existing Foundations?
Our Aim
Dependent Types in Code
Foundations: DOT
DOT Types
DOT Syntax in Greek
Definition Type Assignment
Subtyping
Expressiveness
Meta Theory
Programmer Definable Theorems
Bad Bounds
Dealing with it
For Details
Consequences for Language Design
Things To Avoid
What Are Implicit Function Types?
Contextual
Implicit Parameters
Example: Transaction Handling
Can We Do Better?
Towards A Solution
Two Rules for Typing
Revised Example (2)
Efficiency
The Builder Pattem
Scala Implementation
Claim
Summary
Taught by
Devoxx
