Другие типы

Эта страница документа относится к Scala 3 и может охватывать новые концепции, недоступные в Scala 2. Если не указано явно, все примеры кода на этой странице предполагают, что вы используете Scala 3.

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

• Лямбда-типы
• Типы соответствия
• Экзистенциальные типы
• Типы высшего порядка
• Синглтон-типы
• Типы уточнения
• Вид полиморфизма

Дополнительные сведения об этих типах см. в Справочной документации Scala 3. Для singleton типов см. раздел literal types спецификации Scala 3, а для уточненных типов — раздел refined types.