替代模型scala

Question

我正在做一個scala課程。關於替代模型有一些討論。它指出：

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

你說得對，它基本上是以一種奇特的方式說「插入價值」。對它有一個正式和明確的記號仍然是一個好主意，實際上這是理論計算機科學中的標準記號（而不是你課程的講師編寫的）。

尤其是，在你必須擔心變量被綁定的情況下，「插入值」變得更加複雜，這種變化應該是免費的，反之亦然。如果你對細節感興趣，可以參考一下lambda微積分的教科書。