1 Scala的路径相关类型是什么意思? 我听说Scala具有依赖于路径的类型。这与内部类有关,但这实际上意味着什么,为什么我要关心? 125 scala type-systems path-dependent-type
4 为什么scala不显式支持依赖类型? 存在依赖于路径的类型,我认为可以在Scala中表达Epigram或Agda之类语言的几乎所有功能,但是我想知道为什么Scala不像在其他领域一样很好地支持这种语言(例如,DSLs)?我是否缺少诸如“没有必要”之类的东西? 109 scala path-dependent-type dependent-type shapeless