链表和数组都是数据的集合。

F#的链表是线性列表的一种，单方向链表，它是基本数据结构之一，一种携带指向下一个元素的指针的数据结构。链表中的元素必须是同类型的数据类型。

而数组与链表很相似，但它可以使用数组索引来访问到数组中的某个元素。同时，它的元素也必须全部是同类型的数据类型。

 

链表的写法是用[]来表示，同时元素用";"来分隔。当然不用";"分隔情况也是有的。

请看下面的一些例子：

> [];; // 空链表

val it :'a list = []

> [1;2;3];; // 普通链表，用";"来分隔元素

val it :int list = [1; 2; 3]

// 用换行来分隔元素

> leta = [ "Monday"

          "Tuesday"

          "Wednesday"];;

val a :string list = ["Monday"; "Tuesday"; "Wednesday"]

>

 

链表可以使用::与@符号进行链接。

::是将元素与链表进行链接，::的左侧是元素，右侧是链表，同时两侧必须是同类型数据。

>1::[2;3];;

val it :int list = [1; 2; 3]

>1::2::3::[4];;

val it :int list = [1; 2; 3; 4]

 

@是将两个链表进行连接。

>[1;2]@[3;4;5];;

val it :int list = [1; 2; 3; 4; 5]

>["a";"b"]@["c";"d";"e"];;

val it :string list = ["a"; "b"; "c"; "d";"e"]

>

 

链表的简便写法：

> [1..10];; // 默认增量为1

val it :int list = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]

> [1..2..10];; // 增量为2

val it :int list = [1; 3; 5; 7; 9]

> [1..3..10];; // 增量为3

val it :int list = [1; 4; 7; 10]

 

数组的写法是用[||]，同时元素用";"来分隔。当然不用";"分隔情况也是有的。

> [||];; // 空数组

val it : 'a [] =[||]

> [|1;2;3|];; // 普通数组，用";"来分隔元素

val it : int [] =[|1; 2; 3|]

// 用换行来分隔元素

>  let a = [|"Monday"

           "Tuesday"

           "Wednesday"|];;

val a : string [] =[|"Monday"; "Tuesday"; "Wednesday"|]

>

 

使用数组索引可以访问数组中的元素，第一个元素索引为0。

>  let a = [|"Monday"

           "Tuesday"

           "Wednesday"|];;

 

val a :string [] = [|"Monday"; "Tuesday"; "Wednesday"|]

> a.[0];;

val it :string = "Monday"

>

数组的简略写法：

> [|1 .. 10|];; // 默认增量为1

val it :int [] = [|1; 2; 3; 4; 5; 6; 7; 8; 9; 10|]

> [|1 .. 2 .. 10|];; // 增量为2

val it :int [] = [|1; 3; 5; 7; 9|]

> [|1 .. 3 .. 10|];; // 增量为3

val it :int [] = [|1; 4; 7; 10|]