What's Different in Dotty

Explore the future of Scala programming in this keynote address from Scala Days Copenhagen 2017. Delve into the Dotty project, the next iteration of the Scala language, as Martin Odersky presents major changes and innovations. Learn how to enhance the legibility and safety of Scala programs using new features. Discover the Scalastic principles, DOT calculus, subtyping lattice, and changes in types and traits. Examine enums, algebraic data types, and improvements to implicits. Gain insights into the revised implicit conversion rules, context handling, and the Reader monad. Understand the implementation of implicit function types and the builder pattern in Scala. Follow the Dotty release schedule and IDE integration plans to prepare for the upcoming developer preview.

Intro
IDE Integration
Dotty Release Schedule
Scalastic Principles
Scala was a Pioneer
Scalastic Pragmatics
Scala Simple?
Aims of Dotty
Essential: Foundations
DOT Calculus
Subtyping Lattice
Changes in Types, ctd
Changes in Traits
Tricky: Inheritance Diamonds
3. Enums
A Simple Enum ...
Enums can have Parameters
A Simple ADT...
4. Implicits
Puzzler #54
Tighten Rules for Implicit Conversions
Reducing Repetition
Dealing with Context
Towards a solution
Revised Example
Efficiency
The Reader Monad
Implicit Function Types
The Builder Pattern
Scala Implementation