Anwar will give a high level introduction to type level programming in Scala using Scalaz, Shapeless, and Spire, and the magic that they offer to Scala programming.
The introduction will be more from user point of view, so it will be a soft introduction to this rich and interesting subject.
You may have heard about Monoid, Monad, Applicative, or even Dependent Types. The umbrella term "Type level programming" covers those (but not only) subjects that might look mathy or scarry, but they're actually very powerful tools to be included in every Scala programmer's toolbox. We will see them in action during the presentation.