Обзор

В этой главе представлено введение в большинство тем контекстных абстракций, в том числе:

• Методы расширения
• Экземпляры given и параметры контекста
• Контекстные границы
• Импорт given
• Классы типов
• Многостороннее равенство
• Неявные преобразования

Все эти функции являются вариантами основной идеи вывода термов: учитывая тип, компилятор синтезирует “канонический” терм, который имеет этот тип.

Несколько более сложных тем здесь не рассматриваются, в том числе:

• Условные given экземпляры
• Вывод класса типов
• Контекстные функции
• Контекстные параметры по имени
• Связь с имплицитами Scala 2

Эти темы подробно обсуждаются в справочной документации.