Question

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

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

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