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

Question

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

运算符是什么::意思？比如：a :: b 我们把a加b的意思是什么呢？

Answer 1

运算::符构造一个列表。左边是一个列表元素（头），右边是一个列表（尾）。该运算符是右结合的，因此您可以编写：3 :: 4 :: []。空列表用 表示[]。