看到一篇不错的博文,介绍 Scala 类型系统:Scala's types of types。
于是把它翻译成中文了,详见 Scala 中不同类型的类型。 不过有几个章节原作者还未完成。
欢迎指点和建议。