В этой главе представлено введение в большинство тем контекстных абстракций, в том числе:
- Методы расширения
- Экземпляры given и параметры контекста
- Контекстные границы
- Импорт given
- Классы типов
- Многостороннее равенство
- Неявные преобразования
Все эти функции являются вариантами основной идеи вывода термов: учитывая тип, компилятор синтезирует “канонический” терм, который имеет этот тип.
Несколько более сложных тем здесь не рассматриваются, в том числе:
- Условные given экземпляры
- Вывод класса типов
- Контекстные функции
- Контекстные параметры по имени
- Связь с имплицитами Scala 2
Эти темы подробно обсуждаются в справочной документации.