Hands-on Typelevel Scala

on YouTube ↗51m

" summary

Typelevel Scala’s fork TLC is an incubator compiler that prototypes features and aims to remain backwards compatible with Typesafe Scala. Shows an alternate syntax for type lambdas, an implicit ambiguity messages mechanism that gives readable errors, singleton types and irrefutable generator patterns, and small parser extensions. Demonstrates that TLC compiles shapeless and cats, publishes artifacts to Maven Central, and integrates with SBT. Notes tests: partest takes ~1h45 while the junit suite runs ~2 minutes; migrating partest to junit is a low-hanging contribution.

AI-written summary · about

" chapters (6)

1. 0:00Start
2. 10:18Type lambdas
3. 11:54@implicitAmbiguous'
4. 13:40Singleton types
5. 16:30Irrefutable generator patterns
6. 21:03Low-hanging fruits

" related talks

• 01h 01mTypesafe Scala, Typelevel Scala – What’s Going On, Anyway?Brendan McAdams, Erik Osheim, Jamie Allen, Michael Pilquist, Brian M Clapper · Philly ETE 2015
• 56mTypelevel Scala RebootedMiles Sabin · Lambda World 2016
• 32mTypelevel's Road to Scala 3Lars Hupel · Scala Love in the City 2021
• 57mTypelevel in 2016Miles Sabin · Scala Days Berlin 2016
• 41mThe Dialectics of Type-Level ProgrammingAaron Levin · Lambda World 2016
• 45mFuture proofing Scala the TASTY intermediate repGuillaume Martres · Scala Days Lausanne 2019
• 46mScala's Role in the Programming Languages EcosystemMartin Odersky · Scala Days 2023 Madrid
• 21mReasonable Scala CompilerEugene Burmako · Scale By the Bay 2017