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