OCaml의 죄수

Question

내가 OCaml의 언어 설명서를 읽고 그러나

:: 

로 표시의 "단점"연산자 건너 온거야, 모든 그것이 무엇인지, 어떤에서 설명 아니에요의 일반적으로 사용됩니다.

Answer 1

이것은 연산자를 구조화하는 기본 목록입니다. 목록 [1; 2; 3]는 :: 연산자의 세 가지 응용 프로그램으로 구성된다. (이 작업은 50 년의 초기 리스프 일부터 cons 호출 된)

$ ocaml 
     OCaml version 4.01.0 

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

:: 운영자는 패턴

나타날 수 있습니다 , 목록 destructure to :

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

Answer 2

는 또한 http://ocaml.org/learn/에 ressource to 보라를 - 특히,이 책 "진짜 세계를 OCaml" section on lists