为什么Scala具有路径依赖类型?
我一直在研究路径依赖类型。我能找到的最好的描述是:
如果L是类型标签,那么x.L和y.L是相同的类型iff x和y可以显示为引用相同的对象。
这有时不是人们所期望的子类型行为。我希望如果上面例子中的L确实相同,那么这足以使x.L和y.L变得不同。
Scala是这样设计的,有什么特别的原因吗?
没有找到相关结果
已邀请:
3 个回复
戊袱
涸坍饺
死狸蔽垂藐