Reconstructing Scala
summary
Dotty is a near-beta Scala compiler that aims for a provable core and practical ergonomics: it proves parts of the type system while adding usability like type-diff error display that pinpoints where a mismatch occurs, and a set of 150 error messages already ported into the compiler. It ships as a CLI/repl and is installable via Brew and sbt template, supports LSP/VS Code, offers a docs/site generator and improved type inference (accepting some programs Scala 2 rejects), plans scalameta macros, and releases on a six‑week cadence.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 4:20Great Times
- 8:45Reconstructing Scala
- 10:58Dotty
- 18:30Documentation
- 23:39Awesome Error Messages
- 26:37Type Inference
- 28:19Implicit Functions
- 32:11Error Messages
- 33:29QA
