Typelevel Scala Rebooted
summary
Typelevel Scala ships a patched compiler that actually fixes SI-2712 (higher‑kinded type inference), backports it to 2.11 and provides a 2.12‑aligned build; it adds literal singleton types (SIP for literal types) so shapeless records and value-indexed types become first‑class; it applies an implicit‑resolution optimization that turns a selector compile from minutes into seconds (compile‑time implicit resolution optimization). Releases remain binary compatible with Lightbend Scala and install via SBT (use the Typelevel Scala artifact and SBT 0.13.13‑rc2 for the 2.11 build).
AI-written summary · about
chapters (18)
- 0:00Introduction
- 1:06What is Typelevel
- 3:41Background
- 5:52Summary
- 11:12SBT Build
- 13:55Why Im doing this
- 20:31Can you use it
- 21:27Constraints
- 26:32Is it risky
- 27:37How to use it
- 28:42The bug
- 32:57The demo
- 36:07The problem
- 39:57The literal types
- 48:27Shaper selector
- 49:07Scale selector
- 49:27Scale selector example
- 52:04Results
