哪些函数式编程术语可以区分避免修改变量和对象？

Question

在函数式编程中，使用什么术语来区分避免修改变量引用的内容和避免修改对象本身？

对于示例， Ruby

name += title

避免修改先前由 name 引用的对象，而是创建一个新对象，但遗憾的是让 name 引用新对象，而

full_title = name + title

不仅避免修改对象，而且避免修改 name 所指的内容。

对于避免前者的代码，您会使用什么术语？

Answer 1

使用名称来引用其在封闭/先前范围内所做的以外的其他内容称为“隐藏”该名称。它确实与突变不同。例如，在 Haskell 中，我可以编写

return 1 >>= \x -> return (x + 1) >>= \x -> print x.

打印的 x 是由第二个 lambda 引入的，即 2。

在 do 表示法中，这看起来有点熟悉：

foo = do
  x <- return 1
  x <- return (x + 1)
  print x

据我了解，Erlang 完全禁止别名。

然而，我怀疑数学对于 Ruby 来说是正确的——它不仅掩盖了名字，还改变了一些底层的对象。另一方面，我不太了解 Ruby...

Answer 2

我认为函数式编程语言根本没有任何破坏性更新源操作数之一的运算符（也许是破坏性更新，您正在寻找的术语？）。在指令集设计中也可以看到类似的理念：RISC 理念（越来越多地用于甚至 x86 架构（在较新的扩展中）是为二元运算符提供三操作数指令，如果您想要破坏性更新，则必须显式指定目标操作数与源操作数之一相同。

对于后者，一些混合语言（例如 Scala；在 X10) 区分值 (val) 和变量（var）。前者不能重新分配，后者可以。如果它们指向一个可变对象，那么当然该对象本身仍然可以被修改。