Generic (aka polytypic) programming involves parametrizing programs in terms of the "shape" of the data types they operate on, going beyond what's possible with simple type parametrization. In the Haskell world it's exemplified by Scrap your Boilerplate and related projects.
shapeless is an exploration of this space in Scala, and my talk shows some of its capabilities and applications and also explains some of the type class and dependent type based implementation techniques involved.
Founder of Scala consulting and training company Chuusai Ltd. Creator of the open source Scala IDE for Eclipse project.
Sign in to add slides, notes or videos to this session