什么是编程上下文中的“价值”？

Question

您能否在不参考特定编码技术或特定语言或体系结构的情况下，为编程上下文中的“值”提出精确定义？

_{【上题正文，供讨论参考：《编程中的价值是什么？如何准确定义这个词？》】}

Answer 1

在这里，我将尝试一下：值是一段可以由计算机操作的存储信息（在信息理论意义上）。

（我不会说一个值有意义；寄存器中的随机数可能没有意义，但它仍然是一个值。）

Answer 2

基于关于“位”是一个不可接受的定义的持续评论，我认为这个更好一些（尽管可能仍然存在缺陷）：

值是在一块可能无限的图灵机磁带上可表示的任何东西。

编辑：我正在进一步完善它。

值是任何可能无限的符号序列的可能解释集合中的一个成员。

这相当于之前基于图灵机磁带的定义，但实际上概括性更好。

Answer 3

我碰巧浏览了 Pierce 的“类型和编程语言”——他将编程上下文中“值”的合理精确定义插入到文本中：

[...] 定义了一个术语子集，称为values，它们可能是评估的最终结果

这似乎是一个相当整洁的定义——即，我们采用所有可能项的集合，在所有评估发生后可能剩下的项是值。