scala - 我怎样才能更多地了解 Scala 的类型关系？

Question

这肯定是一个愚蠢的问题，但我很难过。我现在已经阅读了 Odersky 的书，以及我可以掌握的所有教程，但我似乎找不到任何可以解释一些更晦涩的 Scala 类型关系的内容。例如，什么是 =:= ?它被引用 here ，但似乎甚至不在 Scala 语言引用中。是否有一些引用资料可以解释这一点，而我缺少这些资料？

Answer 1

这只是一个“普通”运算符，尽管有点晦涩(而且我以前从未使用过或听说过;-)。 =:=运算符在 [magical] Predef object 中定义.

参见第 12.5 节:SLS 中的 Predef 对象:

The Predef object defines standard functions and type aliases for Scala programs. It [Predef] is always implicitly imported, so that all its defined members are available without qualification.

(SLS 没有提到 =:= 或其他一些；许多是“实现细节”。)

快乐编码。