为什么Scala有依赖路径的类型？

发布时间：2020-12-16 09:16:02 所属栏目：安全来源：网络整理

导读：我一直在研究路径依赖类型.我可以找到的最好的描述是： If L is a type label,then x.L and y.L are the same type iff x and y can be shown to refer to the same object. 这有时候不是预期的子类型行为.我会期望如果上面的例子中的L确实是相同的,那么这样

我一直在研究路径依赖类型.我可以找到的最好的描述是：

If L is a type label,then x.L and y.L are the same type iff x and y can be shown to refer to the same object.

这有时候不是预期的子类型行为.我会期望如果上面的例子中的L确实是相同的,那么这样就足以使x.L和y.L成立.

Scala是如何设计的？

解决方法

Scalable Component Abstractions论文对路径依赖类型有很好的解释,也是第3节“案例研究：主题/观察者”的一个很好的例子.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!