scala - 类型投影有什么用？

Question

Scala中的类型投影有什么用？为什么Scala的类型系统同时支持类型投影和依赖于路径的类型？这个设计决定背后的原理是什么？

Answer 1

这不是一个完整的答案，但是这里有一些我遇到的类型投影的用法：


类型级别元编程。有关示例，请参见Michid的系列（部分I，II，III），Jesper的implementation of HList和series at Apocalisp。
一种启用类型推断的解决方法（例如，这里有一些先前的SO问题1，2，3）。
一种将一堆类型捆绑为一个类型参数的方法。例如，在我正在开发的矩阵库中，我定义trait Scalar { type A; type B; type C; ... }然后将其作为单个参数传递给我的矩阵特征trait Matrix[S <: Scalar] ...各个类型可以称为S#A，S#B和以此类推。对于相同的Matrix[S]，在两个类型为S的矩阵之间，这些类型将是兼容的（与路径相关类型不同）。