A gentle introduction to Type Level Programming in Scala

These are the slides and the example code for my talk at Stange Group Berlin.

Where can i find the example code?

You can find the different code examples from the talk under app/bool, app/peano and app/list.

How can i view the slides?

You need to have scala and sbt installed. Just execute sbt run in the project folder and open localhost:9000 in your browser.

Where can i learn more about Type Level Programming?

• https://github.com/milessabin/shapeless - The Type Level Programming Library i mentioned.
• http://www.chuusai.com/blog/ - The blog of Miles Sabin, the author of Shapeless.
• http://proseand.co.nz/2014/02/17/type-programming-shifting-from-values-to-types/ - A Blog Series by Joe Barnes, where i learned quite a bit.