Использование "cons" без оператора "::" ocaml

Question

Есть ли способ создать списки в OCaml без использования оператора ::?

Например, я знаю, что обычно элементы объединяются следующим образом:

1::[2; 3; 4]

, которыйвыдаёт [1; 2; 3; 4].

. Интересно, можно ли реализовать метод, который принимает

cons(1 cons(2 cons(3 cons (4 nil))))

и выводит тот же результат, как показано в минус Википедии?страница .

Спасибо.

Answer 1

Я думаю, что вы ищете List.cons.Что позволяет делать

# List.(cons 1 (cons 2 (cons 3 (cons 4 []))));;
- : int list = [1; 2; 3; 4]