The Shape of Shapeless (Part 1)

on YouTube ↗56m

" summary

Claims how Shapeless gives compile‑time generic programming: concrete use of HList and type recursion to turn case classes into tuples, an explicit recipe for building a generic typeclass (trait + terminal and recursive implicits), and reliance on implicit derivation rather than runtime reflection or sprawling macros. Slides and repo supply exercises and working code that auto‑generates instances via implicit search; examples include a “speak” transformer and JSON‑style one‑liners like Circe derive and the techniques demonstrably compile and run.

AI-written summary · about

" chapters (8)

1. 0:00Start
2. 0:55Github Repo
3. 3:36Type Level Programming
4. 4:26Compile Time Generic Programming
5. 12:50Generic Programming
6. 22:33Boilerplate Reduction
7. 25:41Tuples
8. 51:06Implicit Resolution Rules

" related talks

• 36mShapeless all the things !!Julien Tournay · Scala.IO 2014
• 54mRoll Your Own ShapelessDaniel Spiewak · Scala Days Berlin 2016
• 46mAutomatic type class instance derivation with shapelessEtienne Couritas · Scala.IO 2017
• 57mKittens: Shapeless Typeclass Derivation for CatsMiles Sabin · Scala World 2015
• 31mNothing Generic About ItMatthew Gerstman · WFH Conf 2020
• 48mA gentle introduction to type level programming in ScalaMarcus Böhm · Scala.IO 2016
• 01h 57mTypes as Program Specifications: A Intro to Type-Level Programming in HaskellThomas Dietert · LambdaConf 2019
• 39mDependent Types in HaskellStephanie Weirich · Strange Loop 2017