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