Question

对于 ship() 来说，所谓 合适的条件 就是类似这样的一个上下文环境：

1 2 3 4 5 6 7

_ship_env_0: { people: { row: /* 划水 */ }, water: /* 水 */, checkShore: /* 检测岸 */ }

我们来考虑类似环境的可能性。例如，假设我们将原始问题中的“水”和“检测岸”确定下来，则 ship 将可能有许多种方案。如：

1 2 3 4 5 6 7

_ship_env_1: { water: /* 水 */, checkShore: /* 检测岸 */, ship: function(people) { // people.row 的可能性是无穷的 } }

假设我们也将“人”确定下来，那么方案就只剩下一种：

1 2 3 4 5 6

_ship_env_2: { water : /*水*/, checkShore: /* 检测岸 */, people: /* 人 */, ship: function() { ... } }

除非我们——人——能有不同样的 row() 方法。

在从 _ship_env_0 到 _ship_env_1 的演变过程中，我们把 ship() 和它相关的环境 _ship_env 绑定在了一起。这是一个不小的变化，因为它的含义是语义与语用之间的绑定关系。如果我们将 _ship_env 分离出去，则 ship() 将是 DSL（领域特定语言，Domain Specific Languages）的一个实现；如果将 _ship_env 与 ship() 绑在一起，那么 ship() 就是一个应用程序中的确定求解。

前者创建了一门语言，后者创建了一个程序。