程序原本(二十一):语言及其面临的系统——语言(绑定)

阅读数:26 2019 年 9 月 28 日 18:10

程序原本(二十一):语言及其面临的系统——语言(绑定)

语法与语义是语言的两个基本性质,分别指代语言的两个方面:形式与内容。就经验来说,可以想见的:形式与内容不一致——亦即是所谓的“辞不达义”的情况,就必然会出现。在现实中,我们可以通过对同一事物反复地6、从不同侧面7和用不同方法8描述来解决“辞穷”的困境。而我们显然不可能在程序设计中这样做,因为计算机对事物的理解形式很单一,此其一。

6 例如沟通中的“再重申一下我的主张”。

7 例如沟通中的“我们换个角度来看这个问题”。

8 例如沟通中的“给你画个草图如何”。

其二则是我们不必这样做。因为此前我们讨论过,计算机的理解能力是有限的,只包括数、数据和逻辑以及在此基础上进行正确计算的抽象,所以我们只需要约定语法与这些计算机理解能力范围内的东西之间的唯一关系,那么计算机所理解的东西与我们描述的东西,就有了唯一的映射关系。不过换一个角度来看,我们也必须按照这样的约定来设计我们的语法,使之唯一对应一种计算机理解能力范围内的语义。

这在程序设计的术语中,就叫做绑定

评论

发布