ocaml - OCaml コンス目的

Question

私はOCamlの言語マニュアルを読んでいて、次のように示される「cons」演算子に出くわしました

::

ただし、それが何であるか、および通常は何に使用されるか についてはまったく説明されていません。

Answer 1

これは基本的なリスト構造化演算子です。リストは、演算子[1; 2; 3]の 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」にはリストに関するセクションがあります。