kei*_*ter 14 scala path-dependent-type
我一直在研究路径依赖类型.我能找到的最好的描述是:
如果L是类型标签,则xL和yL是相同类型iff x和y可以显示为引用同一对象.
这有时不是人们所期望的子类型行为.我希望如果上面例子中的L确实相同,那么就足以使xL和yL变得一致.
Scala是这样设计的,有什么特别的原因吗？
| 归档时间： |
|
| 查看次数： |
1411 次 |
| 最近记录： |