kei*_*ter 14 scala path-dependent-type
我一直在研究路径依赖类型.我能找到的最好的描述是:
如果L是类型标签,则xL和yL是相同类型iff x和y可以显示为引用同一对象.
这有时不是人们所期望的子类型行为.我希望如果上面例子中的L确实相同,那么就足以使xL和yL变得一致.
Scala是这样设计的,有什么特别的原因吗？
mic*_*hid 9
在可扩展组件抽象纸在第3路径依赖类型的一个很好的解释,也是一个很好的例子:"案例研究:主题/观察者".
归档时间：
14 年，5 月 前
查看次数：
1411 次
最近记录：
5 年，11 月 前