Это, конечно, глупый вопрос, но я в тупике. Теперь я прочитал книгу Одерского и все учебники, которые я могу получить, и я не могу найти ничего, что объясняет некоторые из более неясных отношений типа Scala. Например, что такое =:=? Он ссылался на здесь, но даже не кажется, что находится в справочной системе Scala. Есть ли какой-то справочный материал, который объясняет это, чего я не хватает?
Как узнать больше о связях типа Scala?
Ответ 1
Это просто "нормальный" оператор, хотя и несколько неясный (и тот, который я никогда не использовал или не слышал раньше;-). Оператор =:= определен в объекте [magical] Predef.
См. раздел 12.5: Объект Predef в SLS:
Объект Predef определяет стандартные функции и псевдонимы типов для программ Scala. Он [Predef] всегда неявно импортируется, так что все его определенные члены доступны без квалификации.
(SLS не упоминает =:= или несколько других, многие из них являются "деталями реализации".)
Счастливое кодирование.
Ответ 2
Scaladoc говорит:
Экземпляр A =: = B свидетельствует о том, что типы A и B равны.
У меня не было проблем с его поиском, и у меня нет никаких проблем с пониманием этого (хотя знание заранее меня уклоняет в этом). Чтобы улучшить его, я хотел бы знать, с чем вы столкнулись: найти его, понять его или и то, и другое?