Как я могу узнать больше о типовых отношениях Scala?

Question

Это, конечно, глупый вопрос, но я в тупике.Я сейчас прочитал книгу Одерского и все учебные пособия, которые я могу достать, и я не могу найти ничего, что объясняет некоторые из более неясных отношений типа Scala.Например, что такое =:=?Здесь упоминается здесь , но, похоже, даже нет ссылки на язык Scala.Есть какой-то справочный материал, который объясняет это, чего мне не хватает?

Answer 1

Это просто «нормальный» оператор, хотя и несколько неясный (и тот, о котором я никогда раньше не слышал и не слышал ;-).Оператор =:= определен в объекте [magical] Predef .

См. Раздел 12.5: Объект Predef в SLS :

Объект Predef определяет стандартные функции и псевдонимы типов для программ Scala. Он [Predef] всегда неявно импортируется, так что все его определенные члены доступны без квалификации.

(SLS не упоминает =:= или несколько других; многиеявляются «деталями реализации».)

Удачное кодирование.

Answer 2

Скаладок говорит:

Экземпляр A =: = B свидетельствует о том, что типы A и B равны.

У меня не было проблем с его поиском, и при этом у меня не было проблем с его пониманием (хотя знание этого заранее меня смещает). Чтобы улучшить его, я хотел бы знать, с чем у вас есть проблемы: найти его, понять его или и то, и другое?