Что не так с этой функцией OCAML?

Question

Вот мой оригинальный код.

let rec reverse l = 
    match l with 
    | [] -> [] 
    | (h::t) -> (reverse t) :: h 

Answer 1

минусы :: оператора принимает элемент в виде левостороннего аргумента и список в качестве правого аргумента. Здесь вы делаете противоположное, что не работает.

Правильный способ добавить элемент в элемент в конце списка, чтобы использовать список конкатенации:

let rec reverse l = 
    match l with 
    | [] -> [] 
    | h :: t -> (reverse t) @ [h] 

Этот код не является оптимальным, хотя, и вы можете сделать его tail recursive.