Start speaking a new language. It’s just 3 weeks away.
Most AI Pilots Fail to Scale. MIT Sloan Teaches You Why — and How to Fix It
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
Syllabus
Intro
Shapeless
Context-Dependence
Roadmap
HList#remove
Implementation
Remover
Implicits!
Downsides
Exercise 3.1
Peano Arithmetic
Macros
Conclusion
Taught by
Scala Days Conferences