程式語言介紹/成本模型

程式語言結構可能具有特定的漸近複雜度，程式設計師應該瞭解這一點，以便生成高效的演算法。換句話說，即使演算法具有某種特定的、眾所周知的計算成本，其實現也可能具有更高的複雜度，這是由於語言執行時環境中隱含的成本模型造成的。此外，一些程式語言缺少可能使高效演算法實現變得複雜的功能。例如，在沒有桶排序的情況下實現隨機訪問資料結構將非常困難。這些細節關係到我們稱之為成本模型的程式語言實現的一個方面。

在本節中，我們將研究四種成本模型。第一個模型與遵循Lisp模型的程式語言中列表的使用有關。第二種成本模型與支援遞迴的語言中函式呼叫有關。之後，我們研究了Prolog的統一模型，試圖推斷導致統一效率更高或更低的因素。最後，我們討論支援陣列的語言，陣列是隨機訪問資料結構。