Scala type programming resources

Question

According to this question, Scala\'s type system is Turing complete. What resources are available that enable a newcomer to take advantage of the power of type-level program

Answer 1

In addition to the other links here, there are also my blog posts on type level meta programming in Scala:

• Meta-Programming with Scala Part I: Addition
• Meta-Programming with Scala Part II: Multiplication
• Meta-Programming with Scala Part III: Partial function application
• Meta-Programming with Scala: Conditional Compilation and Loop Unrolling
• Scala type level encoding of the SKI calculus