Scala 3 — Book

Обзор

Language

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

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

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

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

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

Contributors to this page: