编程语言介绍/成本模型

编程语言结构可能具有特定的渐近复杂度，程序员应该了解这一点，以便生成高效的算法。换句话说，即使算法具有某种特定的、众所周知的计算成本，其实现也可能具有更高的复杂度，这是由于语言运行时环境中隐含的成本模型造成的。此外，一些编程语言缺少可能使高效算法实现变得复杂的功能。例如，在没有桶排序的情况下实现随机访问数据结构将非常困难。这些细节关系到我们称之为成本模型的编程语言实现的一个方面。

在本节中，我们将研究四种成本模型。第一个模型与遵循Lisp模型的编程语言中列表的使用有关。第二种成本模型与支持递归的语言中函数调用有关。之后，我们研究了Prolog的统一模型，试图推断导致统一效率更高或更低的因素。最后，我们讨论支持数组的语言，数组是随机访问数据结构。