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

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

Ответы

Ответ 1

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

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

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

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

Счастливое кодирование.

Ответ 2

Scaladoc говорит:

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

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