무엇이 :: (이중 콜론) 의미 Ocaml에서

Question

formal_list : 일반 ID {[($ 1, $ 2)]} | formal_list COMMA 일반 ID {($ 3, $ 4) : $ 1}

이렇게하면 이것은 무엇을 의미합니까? a :: b 은 a를 b에 더하는 의미입니다.

Answer 1

:: 연산자는 목록을 구성합니다. 왼쪽에는 목록 요소 (머리)가 있고, 오른쪽에는 목록 (꼬리)이 있습니다. 연산자는 오른쪽 연관이므로 3 :: 4 :: []이라고 쓸 수 있습니다. []은 빈 목록입니다.