que signifie: (double deux points) dans Ocaml

Question

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

comme ça qu'est-ce que cela signifie :: signifie? Comme ceci: b est-ce que cela signifie que vous ajoutez le a à b?

Answer 1

L'opérateur :: construit une liste. A gauche est un élément de liste (la tête), à ​​droite est une liste (la queue). L'opérateur est associatif, vous pouvez donc écrire: 3 :: 4 :: []. [] est la liste vide.