[Каково определение термина "замена" в Scala Language Specification?](/kakovo-opredelenie-termina-zamena-v-scala-language-specification-600342)
===============================================================================================================================================

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

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

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

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

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

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

  
 ![enter image description here](/media/main/e6/37/32/e6373233e419f16f41c87f0612d9741e.png)

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