Ocaml List

创建list

1
2
3
[]
e1 :: e2 :: [e3; e4; e5; e6]
[e1; e2; e3]

1
match not true with | true -> "true" | false -> "false"

下划线表示任何值。

1
match "foo" with | "bar" -> "foo" | _ -> "others"

与list进行匹配。

注意：对于 a::b，a的类型是int，b的类型是int list。

1
match [1; 2] with | [] -> -1 | a :: b -> a

定义一个递归函数sum，参数是lst，对list求和。

1
2
3
4
let rec sum lst = 
    match lst with
    |   [] -> 0
    |   h :: t -> h + sum t

求list的长度(Ocaml的库中有对应函数List.length)。

1
2
3
4
let rec length lst =
  match lst with
  | [] -> 0
  | _ :: t -> 1 + length t

list中元素的值是不可修改的，想要修改list中元素的值，要新建一个list。

使用这种方法，编译器会让新老list共享相同的部分（正是得益于list的不可修改的特性）。

1
2
3
let rec sum lst = match lst with
    | [] -> 0
    | h :: t -> h + sum t

等价于：

1
2
3
let rec sum = function
    | [] -> 0
    | h :: t -> h + sum t