什么是Scala中的类型投影有用？为什么Scala的类型系统支持类型投影和路径依赖类型？这个设计决定背后的理由是什么？
type-systems scala
scala ×1
type-systems ×1