intro-shapeless.pdf

Transcript

1. Generic Programming with shapeless
2. Scrap Your Boilerplate u “Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming” (R. Lämmel, S.P. Jones) u A design pattern for writing programs that traverse rich mutually-recursive data structures u Write boilerplate once and for all u Requires rank-2-polymorphism
3. Shapeless (https://github.com/milessabin/shapeless) u Shapeless is a type class and dependent type based generic programming library for Scala. u Originated by Miles Sabin on implementing: u Scrap your boilerplate u Libraries using shapeless: u Akka streams, Doobie, Specs2, Http4s and more.
4. Product (HList)
5. Product (HList)
6. Product (HList)
7. Coproduct
8. Coproduct
9. Coproduct
10. Generic
11. Generic
12. Shapeless in action https://github.com/statictypeddog/intro-shapeless