我听说Scala有路径依赖类型.这与内部阶级有关,但这实际意味着什么,为什么我关心？
type-systems scala path-dependent-type
path-dependent-type ×1
scala ×1
type-systems ×1