scala - 替代模型scala

Question

我现在正在做一个scala类(class)。有一些关于替代模型的讨论。它指出:

def f(x1,...,xn) = B; ... f(v1,..., vn)
then
def f(x1,...,xn) = B; ... [v1/x1,...,vn/xn]B

Here, [v1/x1,...,vn/xn]B means:
The expression B in which all occurrences of xi have been replaced
by vi.
[v1/x1,...,vn/xn] is called a substitution

我在这里有两个问题:

这里有什么大概念吗？对我来说只是说 plug the values in以一种花哨的方式。
用于替换 [v1/x1,...,vn/xn] 的符号这是在其他地方使用的吗？

Answer 1

你是对的，它本质上确实以一种奇特的方式说“插入值”。为其提供正式且明确的符号仍然是一个好主意，实际上这是理论计算机科学中的标准符号(而不是您类(class)的讲师编造的东西)。

特别是，“插入值”在您必须担心被绑定(bind)的变量应该是自由的情况下变得更加复杂，反之亦然。如果你对细节感兴趣，可以拿一本介绍 lambda 演算的教科书。