对于仅具有不可变引用或标签的语言，对于名称变量有什么好的替代方案？

例如，在函数式语言中，变量是单个赋值，并且一旦赋值它们的值就不可变。因此，它们有两个状态unbound和bound，一旦绑定，就无法更改。

是否有最适合诸如事物之类的数学术语或其他计算机科学术语？一些语义并不意味着方差或可变性。

如果不存在诸如term之类的词，并且如果您正在设计一种具有这种结构的语言，那么您除了使用word 变量之外还会使用什么呢？

我不是真的希望调查的想法，我试图找出是否已经有一个公认的行业（任何行业）项这样的事情。

那“符号”呢？

我在F＃上看到了一段视频，演讲者说，

您没有为变量分配值，而是将值绑定到 符号。

（仍在寻找参考。）

每当在这样的结构不可变的地方遇到“可变”一词时，我都会默默地认为“绑定符号”。

只需将它们称为变量即可。数学有变量；功能语言具有相同类型的变量。

另请参阅Bob Harper关于此术语问题的这篇文章。

如果它可以在不同的调用中采用各种值，那么它仍然是一个变量。换句话说，即使一旦分配就无法更改，该符号也可以最初分配给不同的值。与此相反，该常数在每次调用时都包含相同的值。

常量，或者使用C和C ++等语言的人可能会对const很熟悉，

名称。可以通过多个名称（x = 4; y = 4）合理地调用同一件事；名称一旦定义就永远不会更改其引用对象。x = 2; x = 3仅仅说章鱼不是章鱼是没有道理的。

为什么不只坚持那个词呢？可能不是100％合适，但是当您选择其他名称时，可能会比您尝试解决的名称引起更多的误解。其他功能语言的设计人员可能会遇到相同的问题，但他们还是决定使用术语“变量”。

XSLT（已广泛使用）：

http://www.w3schools.com/xsl/el_variable.asp

Haskell：

http://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-240003.2

方案：

http://www.scheme.com/tspl2d/binding.html

Erlang：

http://www.erlang.org/doc/reference_manual/expressions.html

他们所有人都使用术语“变量”。

当然，其他语言设计师更喜欢谈论“绑定”或“绑定值”，例如此处的F＃：

http://msdn.microsoft.com/zh-CN/library/dd233238.aspx

取决于顶点，“变量”或“绑定”将起作用。我认为在诸如letHaskell或Lisp之类的语句中更可能出现“绑定” 。