OCaml 的缺点

Question

我正在阅读 OCaml 的语言手册，遇到了“cons”运算符，表示为

::

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

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