Typelevel Scala: What does it mean ?
summary
A forked experimental Scala compiler aims to try concrete changes rather than promises: nightly builds and Jenkins CI already run, an SBT plugin and bridging libraries exist, and several features land and compile—currency identifiers, Singleton types, and improved type lambdas—with the expectation that some will be promoted into mainline Scala if they survive wide use; compatibility strategy leans on binary compatibility to let modules link while accepting breakage and quarterly releases starting by year end.
AI-written summary · about
chapters (16)
- 0:00Introduction
- 10:03Typelevel Scala
- 17:34Why Typesafe
- 21:18How to get here
- 24:05Policy
- 26:30Compatibility
- 29:02Broken
- 30:18Binary compatibility
- 31:02Singleton type
- 34:25Pipelines
- 36:19Welcome compiler
- 37:22Roadmap
- 38:14QA
- 40:44Advanced features
- 42:19S40 development
- 43:30Does it work with Scala
related talks
48mA gentle introduction to type level programming in Scala
28mSecrets of the Scala Type System
38mScalaJS and Typescript: an unlikely romance
42mLet the Compiler Help You: How to Make the Most of Scala's Type System
44mTelling the Truth with Types
49mThe Trouble With Types
44mType Parameter Power Up Variance Bounds and Inference
26mMigrating Gallia to Scala 3 the good, the bad and the very good