什么::（双冒号）在Ocaml中意味着什么

Question

formal_list：typ ID {[（$ 1，$ 2）]} | formal_list COMMA typ ID {（$ 3，$ 4）:: $ 1}

像这样 这意味着什么？ 像:: b 这意味着将a添加到b

Answer 1

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