These are the slides and the example code for my talk at Stange Group Berlin.
You can find the different code examples from the talk under app/bool, app/peano and app/list.
You need to have scala and sbt installed. Just execute sbt run in the project folder and open localhost:9000 in your browser.
- 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.