如何了解有关Scala类型关系的更多信息?

时间:2011-10-16 04:06:59

标签: scala

这肯定是一个愚蠢的问题,但我很难过。我现在已经阅读了Odersky的书,以及我可以得到的所有教程,而且我似乎无法找到任何可以解释一些更加模糊的Scala类型关系的东西。例如,=:=是什么?它引用了here,但似乎不在Scala语言参考中。是否有一些参考资料解释了这一点,我不知道了?

2 个答案:

答案 0 :(得分:3)

这只是一个“正常”的操作员,虽然有点模糊不清(而且我之前从未使用或听过的那个;-)。 =:=运算符在[magical] Predef object中定义。

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

  

Predef对象为Scala程序定义标准函数和类型别名。 始终隐式导入[Predef],以便所有已定义的成员都可以在没有资格的情况下使用。

(SLS未提及=:=或其他一些;许多是“实施细节”。)

快乐的编码。

答案 1 :(得分:0)

Scaladoc说:

  

A =:= B的实例证明A和B类型相等。

我找到它没有任何问题,也没有任何理解它(虽然事先知道偏见我)。为了改进它,我想知道你有什么问题:找到它,理解它,或者两者兼而有之?