Typesafe Scala, Typelevel Scala – What’s Going On, Anyway?
summary
Typelevel Scala is a community-driven fork that provides library incubators (shapeless, Spire, scodc), compiler plugins and macro-based experiments while promising that compiled artifacts remain bytecode-compatible so adopters can opt in feature-by-feature. The project keeps experimental language additions behind flags, aims for merge compatibility with the main compiler, and warns that whitebox macros and IDE support are the real friction points. Production users report real deployments, not just research prototypes, so expect usable innovations plus tooling tradeoffs.
AI-written summary · about
chapters (11)
- 0:00Introduction and panel setup
- 1:04Panelist introductions
- 3:55Typelevel opening statement
- 6:44Typesafe opening statement
- 10:15Community factions and tensions
- 17:21Typelevel as R&D lab for Scala
- 23:40Demand for Enterprise vs bleeding edge
- 32:48Perception of schism in community
- 40:14Audience Q&A begins
- 57:00Open source foundation and cats discussion
- 1:00:07Closing remarks and thanks
related talks
51mHands-on Typelevel Scala
32mTypelevel's Road to Scala 3
56mTypelevel Scala Rebooted
45mTypelevel Programming 101: The Subspace of Scala
49mType level Programming in Scala
35mIntroducing Typelevel Scala into an OO environment
57mTypelevel in 2016
49mAcademese to English: Scala's Type System, Dependent Types and What It Means To You