列表（List）是函数式编程（FP）的基础。事实上，FP的重要代表Lisp的名字即源自“List Processing”，它的发明者John McCarthy于1960年发表的论文向我们展示了，在只给定几个简单的操作符和一个表示函数的记号的基础上，如何构造出一个完整的编程语言，他的主要思想之一是用一种简单的数据结构列表来表示代码和数据。

　　链表（Linked list）是Lisp的主要数据结构之一，并且Lisp的源代码本身也由列表构成。F#中的列表类型表示为链表，它与C#中的数组、泛型List<T>类型有着明显的不同。链表可以用下面的图表示：

　　首先我们来看一下FP中列表的基本操作（其中的代码都由F#实现）。

　　列表的基本操作

　　cons：它是“construct”的缩写，用于构造列表，意即将一个元素添加到列表的开头。我们先约定空表表示为[]，在此基础上再约定操作符“::”表示cons操作，这样我们就可以构造任意的列表了。如：

F# Code - 列表的cons操作
let emptyList = [] // []
let oneItem = 3 :: [] // [3]
let twoItems = 2 :: oneItem // [2; 3]
let threeItems = 1 :: twoItems // [1; 2; 3]

　　可以看到这里是如何通过“cons”操作来一步一步构造列表的。

　　car：它表示“Contents of the Address part of the Register”，意即列表的第一个元素。F#中使用List模块的hd（Head）函数来执行car操作：

F# Code - 列表的car操作
let stringList = ["No "; "one "; "really "; "listens to "; "anyone else."]
List.hd stringList // "No "