Оператор :: OCaml

Question

Я новичок в OCaml и пытаюсь создать парсер, я хочу иметь список, в котором хранятся все методы в моем классе. Это одна часть, которая у меня есть в моем файле .mly.

init_method_list: 
    { [] } 
    | method_list method_decl { List.rev($1) } 
; 

method_list: 
    method_decl { [ $1 ] } 
    | method_list method_decl { $2 :: $1 } 
; 

Может кто-нибудь объяснить, что здесь происходит? Особенно: операция. Пошел в поисковую систему, но не смог найти оператора в документах.

Получаю, что список может быть пустым или мы делаем правильные рекурсивные вызовы, чтобы заполнить его всеми методами в классе. method_decl просто ищет совпадение конкретных комбинаций токенов, представляющих метод.

Answer 1

Как я сказал в своем комментарии, оператор :: используется для объединения элемента типа 'a в список типов 'a list. Небольшой пример:

1 :: [2;3] производит список [1;2;3], так что да, он добавляет элемент в начало списка.

Answer 2

Как все говорят, :: объединяет элемент в список того же типа. Если вы хотите объединить два списка, вы можете использовать символ @, например:

[1; 2; 3] @ [4] предоставит список [1; 2; 3; 4]