Scala语言规范中"替换"一词的定义是什么？

Question

在Scala语言规范(版本2.9 - 2014年6月11日)中,在关于存在类型的部分中使用了术语"替换",但是,替换的含义似乎没有在Scala语言规范中定义.

有人可以解释替代在这种情况下的含义吗？

是否意味着类型表达式中的类型变量被其他具体类型或类型变量或类型构造函数替换？

如果替换是具体类型,那么具体类型是什么？那些作为简单名称的范围？

在这种情况下,"替代"概念的有意义定义是什么？

什么被什么取代？

Answer 1

它指的是 lambda 演算的替换概念。从实用的角度来看，它是用有界变量代替自由变量。对于更正式的定义，您可以查看 lambda 演算理论。