HKD: stem cells for data

on YouTube ↗47m

" summary

Concrete recipe for turning case classes into interchangeable data shapes using HKD: wrap fields in Option or effect types, derive applicative and traversal instances, and run polymorphic transformations across every field. The talk shows a Scala 3 implementation that auto-derives typeclass instances (Magnolia-like) via the tofu module, handles indexed collections and default values, and demonstrates console examples that actually compile and run. Code and examples are published so the library can be dropped into a codebase to replace handwritten boilerplate.

AI-written summary · about

" chapters (8)

1. 0:00Introduction to HKD
2. 3:00Basic HKD concepts
3. 10:00Polymorphic HKD in Scala
4. 17:00HKD for domain modeling
5. 24:00HKD with type classes
6. 31:00Practical HKD examples
7. 38:00Advanced HKD techniques
8. 45:00Q&A and conclusion

" related talks

• 24mLet the Scala compiler work for youAdelbert Chang · Typelevel Summit NYC 2017
• 01h 02mPrinciples and tools to cleverly model your data in ScalaChristophe Calvès · Scala.IO 2017
• 58mSeparating Behavior and Data with Type Classes in ScalaRaúl Raja Martínez · WeCodeFest 2018
• 29mADVENTURES IN META-PROGRAMMINGDave Gurnell · Scalar Conference 2017
• 34mMaterialize Typeclasses with MagnoliaShameera Rathnayaka · Scale By the Bay 2020
• 01h 21mDescribing Data...with free applicative functors (and more)Kris Nuttycombe · Scala World 2017
• 22mScale By The Bay 2018 Unconference: Gabriel ClaramuntGabriel Claramunt · Scale By The Bay 2018
• 36mKittens - datatype-generic functional programming with ScalaKailuo Wang · Strange Loop 2016