Roll Your Own Shapeless

Explore the inner workings of Shapeless, a powerful Scala framework, in this 54-minute conference talk from Scala Days Berlin 2016. Dive deep into the tools and techniques used to create Shapeless, learning how to harness the full potential of Scala's type system without relying on macro programming. Discover how to represent complex constraints and generalize code over broad structural classes. Follow along as the speaker recreates major elements of Shapeless, focusing on understanding the general patterns and ideas behind its implementation. Cover topics such as context-dependence, HList implementation, remover implicits, Peano arithmetic, and the downsides of this approach. Gain insights into crafting your own advanced type-level abstractions and unlock a rich palette of expression in Scala programming.