Scala有什么类型的预测？为什么Scala的类型系统支持类型投影和路径依赖类型？这个设计决策背后的理由是什么？
解决方法
不是一个完整的答案,但这里有一些用于我遇到的类型预测：
>类型级元编程.例如,请参阅Michid系列(零件I,II,III),Jesper的implementation of HList和series at Apocalisp.
>启用类型推断的解决方法(例如,以下是以前的一些问题1,2,3).>将一系列类型捆绑到单一类型参数的一种方式.例如,在我正在开发的矩阵库中,我定义了trait Scalar {type A; B型; C型; …},然后将其作为单个参数传递给我的矩阵特征,trait Matrix [S：Scalar] …个体类型可以称为S#A,S#B等等.在Matrix [S]类型的两个矩阵之间,对于相同的S,这些类型将是兼容的(与路径相关类型的情况不同).
