程序原本(六):计算系统——数,以及对数据的性质的思考(数据性质的基本子集:标识、值和确定性)

阅读数:23 2019 年 9 月 28 日 17:27

程序原本(六):计算系统——数,以及对数据的性质的思考(数据性质的基本子集:标识、值和确定性)

我们在程序设计中表达一个数据的时候,总是在描述数据的某些侧面,而不是它的全部。其关键在于,我们事实上不会面对这一数据的全部方面。进而推论:我们既无法、也不必完整地表达现实系统(的种种“数据”)。例如我们说硬币的正反面,可以表达为 0、1,但这一项叙述只表明了 0、1 与硬币两面的映射信息,并没有实际表明:

  • 硬币当前是正面亦或反面。
  • 旋转中的硬币是正反未确定的。
  • 硬币正面明确的称谓是 front?或是“正面”?或是 yes?又或“反面如何称谓”?
  • “硬币是正面的”在发生时,直到识别者得到这一结论的过程中,可有变化?

因此在我们约定了表达数据的规则——即数与数据之间的映射关系之后,还需要约定表达数据的方面。如前所述,我们不需要说明这个数据的全部性质,只需要探求一个最不可或缺的子集。综合目前在计算机语言及其抽象概念上的种种尝试,可确信包含于该子集中的有:

标识、值和确定性。

评论

发布