根据这个问题,Scala的类型系统是Turing完整的.有哪些资源可以让新手利用类型级编程的强大功能？
以下是我到目前为止找到的资源:
这些资源很棒,但我觉得我缺少基础知识,因此没有坚实的基础来构建.例如,哪里有类型定义的介绍？我可以对类型执行哪些操作？
有没有好的入门资源？
types scala
scala ×1
types ×1