Towards Scala 3 - A Status Report
summary
Roadmap claims: feature freeze in 2019 and Scala 3 release by 2020, with Dotty as the new compiler and a proof‑of‑concept that compiles Scala 2 Vector into tasty serializes full typed trees roughly the same size as source. Language changes include intersection/union types, implicit and dependent function types, enums, type lambda syntax and generic tuples remove the 22 limit. Macros become quote/splice based and macros expand after typechecking, improving editor safety.
AI-written summary · about
chapters (28)
- 0:00Intro
- 3:05Why Scala
- 4:50Success
- 6:18Goals
- 9:57Language complexity
- 11:27New types
- 14:10Economics
- 16:12Safety
- 20:50Things to remove
- 22:14Scala Improvement Process
- 23:52LSB
- 24:26Tasty
- 29:19Meta Programming
- 31:34MetaProgramming
- 32:46Expressions
- 33:55VP Additional Power
- 34:10Blackbox macros
- 34:54Whitebox macros
- 35:50fallback type
- 36:26pass types into a macro
- 37:50why no macros
- 39:38language level solutions
- 40:14Type level programming
- 41:01Evaluating functions
- 42:12Why we backed out
- 43:06Match types
- 47:51Migration
- 49:00Hiring
