Keynote - What's Different In Dotty
summary
A technology preview ships as dotc compiler plus a VS Code language‑server IDE and an IntelliJ integration; roadmap targets Scala 2.13 / early 2018, a 6‑week train model and a compact TASTy interchange format. Types are simplified: existential types and type projections are removed, compound types become intersection/union, and primitive type lambdas arrive. Traits gain parameters; enums and ADT sugar compile to sealed classes/objects. Implicits get explicit converters and implicit function types to cut repetition (compiler currently has ~2,600 context occurrences).
AI-written summary · about
chapters (30)
- 0:00Intro
- 1:33IDE Integration
- 5:56Dotty Release Schedule
- 7:29Scalastic Principles
- 11:47Scala was a Pioneer
- 13:55Scalastic Pragmatics
- 14:23Scala Simple?
- 16:20Aims of Dotty
- 17:05Essential: Foundations
- 18:15DOT Calculus
- 22:49Subtyping Lattice
- 25:04Changes in Types, ctd
- 26:23Changes in Traits
- 28:35Tricky: Inheritance Diamonds
- 29:543. Enums
- 32:54A Simple Enum ...
- 35:03Enums can have Parameters
- 35:39A Simple ADT...
- 37:294. Implicits
- 38:11Puzzler #54
- 40:25Tighten Rules for Implicit Conversions
- 42:28Reducing Repetition
- 43:25Dealing with Context
- 49:58Towards a solution
- 52:59Revised Example
- 54:27Efficiency
- 55:13The Reader Monad
- 56:16Implicit Function Types
- 56:55The Builder Pattern
- 59:16Scala Implementation
