根据this question，Scala的类型系统为Turing complete。有哪些资源可以让新手利用类型级编程的强大功能？
以下是我迄今为止找到的资源：
这些资源很棒，但我觉得我缺少基础知识，因此没有坚实的基础来构建。例如，哪里有类型定义的介绍？我可以对类型执行哪些操作？
有没有好的介绍资源？
答案 0 :(得分：137)
答案 1 :(得分：12)
除了这里的其他链接外，还有我在Scala中关于类型级元编程的博客文章：
答案 2 :(得分：6)
正如Twitter上的建议：Miles Sabin的Shapeless: An exploration of generic/polytypic programming in Scala 。
答案 3 :(得分：5)
答案 4 :(得分：4)
Scalaz包含源代码，wiki和示例。