Typelevel Scala Rebooted
summary
A concrete fix for SI-2712 arrives as a weekend proof‑of‑concept and is merged into Typelevel Scala and backported to 2.11/2.12 candidates; the project ships literal types and a patch for SI-7046, keeps binary compatibility, and uses an SBT‑based compiler build to make hacking easy. The team measures dramatic results: inductive implicit heuristics reduce a 500‑element selector compile from minutes to about thirteen seconds, proving the changes actually work and speed real code.
AI-written summary · about
chapters (16)
- 0:00Introduction
- 0:58What is Typelevel
- 4:17What is Typelevel Scholar
- 7:53Who has heard of SI 2712
- 19:13Can you use it
- 27:41Risks
- 31:53Functor
- 33:09Map
- 35:22Single Type
- 36:16Demonstration
- 38:28HList Type
- 39:39Large Type
- 40:31Compile Time
- 41:58Induction
- 44:00Test
- 44:35Questions
related talks
56mDeep Dive Into Scala.js Internals
24mScala Ecosystems: Lightbend vs Typelevel
52mGo Fully Functional and Take Your Legacy Code with You!
31mSCALA FROM B TO F - BACKEND DEVELOPER ON FRONTEND
31mHow I learned to stop worrying and love the frontend
50mReification and type-safety in a CQRS world
21mBeyond Type Checking Building Bulletproof TypseScript Applications
57mReact to ScalaJS