什么是术语＆＃34;替代＆＃34;在Scala语言规范中？

Question

在Scala语言规范（版本2.9 - 2014年6月11日）中，在关于存在类型的部分中，术语＆＃34;替换＆＃34;但是，使用替换的含义似乎没有在Scala语言规范中定义。

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

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

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

这个概念有什么有意义的定义＆＃34;替代＆＃34;在这种背景下？

什么被什么取代？

Answer 1

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