Hands-on Dotty

on YouTube ↗01h 39m

" summary

Dotty is a complete rewrite of the Scala compiler that ships a new pipeline built from more than 40 mini-phases and lazy InfoTransformers that version symbol/type info; mini-phases run without separate tree traversals so small passes are cheap. Compiled artifacts embed TASTy interchange format (typed trees + metadata) so later compilers can recreate sources. Runtime changes include lazy vals not thread-safe by default but allow concurrent independent initialization and avoid deadlocks. Dotty compiles itself but bootstrapping and some bugs remain; a demo shows writing a mini‑phase and using the dotc wrapper script.

AI-written summary · about

" chapters (4)

1. 0:00Start
2. 8:02SIP-23: LITERAL-BASED SINGLETON TYPES
3. 12:00SIP-20: IMPROVED LAZY VAL INITIALIZATION
4. 23:24ECOSYSTEM: BINARY COMPATIBILITY. JAVAS

" related talks

• 01h 00mState of DottyMartin Odersky · Scala.IO 2016
• 49mFrom DOT to DottyMartin Odersky · Voxxed Days CERN 2017
• 01h 09mCompilers are DatabasesMartin Odersky · JVM Language Summit 2015
• 44mIntegrating IDEs with Dotty, The Experimental Scala CompilerGuillaume Martres · Scala Days New York 2018
• 48mMetaprogramming in DottyNicolas Stucki · Scala Days Lausanne 2019
• 30mDotty and types: the story so farGuillaume Martres · Typelevel Summit Oslo 2016
• 40mIntegrating IDEs with Dotty the experimental Scala compilerGuillaume Martres · Scala Days Berlin 2018
• 42mDOT: Scala Types from Theory to PracticeNada Amin · Scala World 2017