Recently I was giving an introductory talk about constructing implicit proofs with Shapeless at Scala Riga Meetup.
Contents in brief
- Analogy between Scala implicit resolution and Mathematical proofs.
- Recursive implicit proofs (why “recursive” is important feature)
- HList basics
- Various implicit proofs for HLists with demos. Mathematical induction as a handy tecnique to writing HList proofs.
- Expanding HList proof to all product-like types with shapeless.Generic