在一篇论文中，我看到了一个列表的定义（T 是您想要的任何类型）：
listof T ::= Nil | Cons T (listof T)
我认为这是说：
T 类型的列表定义为Nil 或函数cons 应用于T 类型列表的结果，其中cons 将列表与另一个列表链接（其余部分-可能是nil)。
这是一个准确的描述吗？
【问题讨论】：
data Listof t = Nil | Cons t (Listof t)。 Nil 是 Listof t 类型，Cons 是 t -> Listof t -> Listof t 类型。
cons 将列表与另一个列表链接" - 不！ Cons 将T 类型的单个元素 与另一个列表链接。
标签： list functional-programming cons
是的。这就是Lisp lists 的构造方式。
这是链表。由于Nil 或Cons 是内存中的一个对象，因此我们对列表中的每个元素都有一个对象。该对象具有 - 假设它是 Cons - 两个引用：一个指向列表在该位置保存的元素，一个指向链表中的下一个节点。
所以如果你存储一个列表(1,4,2,5)，那么在内部，它被存储为：
+---+---+ +---+---+ +---+---+ +---+---+
| o | o---->| o | o---->| o | o---->| o | o----> Nil
+-|-+---+ +-|-+---+ +-|-+---+ +-|-+---+
v v v v
1 4 2 5
或者你可以像Cons 1 (Cons 4 (Cons 2 (cons 4 Nil)))一样构造它。
Lisp 列表的概念在 functional 和 logic 编程语言中都非常流行。
使用链表通常需要编写与使用数组和数组列表不同的算法。获取第 k 个元素将需要 O(k) 时间，因此通常旨在防止这种情况发生。因此，人们通常会遍历列表并例如发出某些元素（例如，给定这些元素满足给定的谓词）。
【讨论】：