我听说Scala有路径依赖类型.这与内部阶级有关,但这实际意味着什么,为什么我关心？
type-systems scala path-dependent-type
有路径依赖的类型,我认为这是可能的,表达了这样的语言作为警句或阿格达Scala中的几乎所有功能,但我不知道为什么斯卡拉不支持此更明确地像它非常漂亮,在其他领域(比如,DSLs)？我缺少的任何东西都像"没有必要"？
scala path-dependent-type dependent-type shapeless
path-dependent-type ×2
scala ×2
dependent-type ×1
shapeless ×1
type-systems ×1