为什么用功能语言列出选择的数据结构？

大多数功能语言都使用链表作为其主要的不变数据结构。为什么要列出，而不要列出树？树还可以重用路径，甚至模型列表。

因为列表比树更简单。（您可以通过列表是简并树的事实来简单地看到这一点，其中每个节点只有一个孩子。）

缺点列表是任意大小的最简单的可能递归数据结构。

盖伊·斯蒂尔（Guy Steele）在Fortress编程语言的设计过程中认为，对于未来的大规模并行计算，我们的数据结构和控制流都应为具有多个分支的树形，而不是像现在这样线性。但是就目前而言，我们大多数核心数据结构库在设计时都考虑了顺序的迭代处理（或尾递归，这并不重要，它们是同一回事），而不是并行处理。

请注意，例如在Clojure中，其数据结构是专门为当今的并行，分布式，“多云”世界设计的，甚至数组（在Clojure中称为向量），可能是所有数组中最“线性”的数据结构，实际上实现为树木。

因此，简而言之：缺点列表是最简单的持久性递归数据结构，无需选择更复杂的“默认”。当然，其他选项也可以作为选项使用，例如Haskell具有数组，优先级队列，映射，堆，挖掘，尝试以及您可能想象的所有内容，但是默认值为简单的缺点列表。

实际上，这些列表是树木！您的节点具有两个字段car和cdr，其中可以包含更多此类节点或叶子。唯一的东西，它使那些树成列表，是对公约解释的cdr链接作为一个线性表的链接到下一个节点，而car作为当前节点的值链接。

就是说，我想函数式编程中链表的流行与迭代中递归的流行有关。当您当前唯一的循环构造是（tail-）递归时，您需要易于使用的数据结构。和链接列表非常适合此操作。