Scala type programming resources


Staff member
According to <a href="">this question</a>, Scala's type system is <a href="" rel="noreferrer">Turing complete</a>. What resources are available that enable a newcomer to take advantage of the power of type-level programming?

Here are the resources I've found so far:

<li><a href="" rel="noreferrer">Daniel Spiewak's <em>High Wizardry in the Land of Scala</em></a></li>
<li><a href="" rel="noreferrer">Apocalisp's <em>Type-Level Programming in Scala</em></a></li>
<li><a href="" rel="noreferrer">Jesper's <em>HList</em></a></li>

These resources are great, but I feel like I'm missing the basics, and so do not have a solid foundation on which to build. For instance, where is there an introduction to type definitions? What operations can I perform on types?

Are there any good introductory resources?