On track with tracked
summary
New Scala 3 modularity work adds a compiler-backed modifier that preserves precise runtime values as types, using generated refinements so parameter types don’t collapse to existential Any. It implements tracked parameters, tracked members and apply constructor types so patterns like an Okam-style ordered set and an HList with compile-time lengths typecheck. The prototype compiles the demos, but concatenation needs a constructor-type helper and editor support required Metals/VS Code hacks; feature remains experimental and performance impact is unbenchmarked.
AI-written summary · about
chapters (8)
- 0:00Introduction
- 3:58Dependent typing in Scala
- 7:12Scala’s type preservation limits
- 13:44Tracked parameters and members
- 19:51Live coding HList with tracked types
- 28:16Extending HLists with concat and length
- 31:56Experimental status and future
- 33:23Q&A
related talks
01h 23mCapture Tracking in Scala
24mLet the Scala compiler work for you
49mType level Programming in Scala
51mOpening Keynote: New Functional Constructs in Scala 3
32mAdvanced Features of Scala 3
52mWhat's coming in Scala 3
49mTen Cool Things You Can Do With Scala 3
45mTypelevel Programming 101: The Subspace of Scala