Каково определение термина "замена" в Scala Language Specification?

99
10

В Scala Language Specs (версия 2.9 - 11 июня 2014 г.) в разделе о экзистенциальных типах используется термин "подстановка", однако значение подстановки не представляется в Scala Спецификация языка.


Может ли кто-нибудь объяснить, что означает подстановка в этом контексте?


Означает ли это, что переменная типа в выражении типа заменяется другим конкретным типом или типом переменной или конструктором типов?


Если подстановка означает конкретный тип, то рассматриваются конкретные типы? Те, которые входят в сферу как простое имя?


Каким будет осмысленное определение понятия "подстановка" в этом контексте?


Что заменяется тем, что?


enter image description here

спросил(а) 2014-12-30T02:01:00+03:00 5 лет, 9 месяцев назад
1
Решение
71

Это относится к концепции замещения лямбда-исчисления. С практической точки зрения, это замена свободных переменных с ограниченными. Для более формального определения вы можете взглянуть на теорию лямбда-исчисления.

ответил(а) 2014-12-30T05:04:00+03:00 5 лет, 9 месяцев назад
Ваш ответ
Введите минимум 50 символов
Чтобы , пожалуйста,
Выберите тему жалобы:

Другая проблема