OCaml cons目的

Question

我正在阅读OCaml的语言手册并且遇到了＃34; cons＆＃34;运算符，表示为

::

然而，它根本没有解释它是什么，以及它通常用于什么。

Answer 1

这是基本的列表结构运算符。列表[1; 2; 3]由::运算符的三个应用程序构成：

$ ocaml
        OCaml version 4.01.0

# 1 :: 2 :: 3 :: [];;
- : int list = [1; 2; 3]

（自从50年前的早期Lisp时代以来，此操作被称为cons。）

::运算符也可以以模式显示，以便对列表进行解构：

let rec length l =
    match l with
    | [] -> 0
    | h :: t -> 1 + length t

Answer 2

另请查看http://ocaml.org/learn/处的资源 - 特别是“Real World OCaml”一书有section on lists。