如何进一步了解Scala的类型关系？
如何进一步了解Scala的类型关系？
提问于 2011-10-16 12:06:59
这确实是一个愚蠢的问题，但我被难住了。我现在已经阅读了Odersky的书，以及我能拿到的所有教程，但我似乎找不到任何东西来解释一些更晦涩的Scala类型关系。例如，什么是=:=？它引用了here，但似乎没有出现在Scala语言参考中。有没有一些参考资料可以解释这一点，我遗漏了什么？
回答 2
Stack Overflow用户
回答已采纳
发布于 2011-10-16 12:19:17
它只是一个“普通”运算符，尽管它有点晦涩难懂(而且我以前从未使用过或听说过;-)。在magical中定义了=:=运算符。
请参见第12.5节：SLS中的Predef对象
Scala程序的Predef object defide标准函数和类型别名。It Predef始终是隐式导入的，因此它的所有defined成员都可以在没有限定fi的情况下使用。
( SLS没有提到=:=或其他几个；许多都是“实现细节”。)
祝你编码愉快。
Stack Overflow用户
发布于 2011-10-17 05:33:14
Scaladoc说：
A =:= B的实例证明类型A和B是相等的。
我没有任何困难找到它，也没有任何问题，我理解它(尽管事先知道这一点让我有偏见)。为了改进它，我想知道你有什么问题:找到它，理解它，还是两者兼而有之？
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/7782286
复制相关文章
相似问题
腾讯云开发者
