ocaml - ::（双冒号）在 Ocaml 中是什么意思？

Question

正式列表：类型 ID { [($1,$2)] } | 正式列表 COMMA 类型 ID { ($3,$4) :: $1 }

运营商是什么::意思？例如：a :: b 我们将a添加到b的含义是什么？

Answer 1

运算符构造::一个列表。左侧是列表元素（头部），右侧是列表（尾部）。运算符是右结合的，所以你可以写：3 :: 4 :: []。空列表由 表示[]。