Сортировка списка в OCaml

Question

Вот код на сортировку любого заданного списка:

let rec sort lst = 
    match lst with 
    [] -> [] 
    | head :: tail -> insert head (sort tail) 
and insert elt lst = 
    match lst with 
    [] -> [elt] 
    | head :: tail -> if elt <= head then elt :: lst else head :: insert elt tail;; 

[Источник: Code

Однако я получаю несвязанный ошибка:

Unbound value tail 
# let rec sort lst = 
    match lst with 
    [] -> [] 
    | head :: tail -> insert head (sort tail) 
and insert elt lst = 
    match lst with 
    [] -> [elt] 
    | head :: tail -> if elt <= head then elt :: lst else head :: insert elt tail;; 
Characters 28-29: 
    | head :: tail -> if elt <= head then elt :: lst else head :: insert elt tail;; 
    ^
Error: Syntax error 

Может кто-нибудь, пожалуйста, помогите мне понять проблему здесь? Я не нашел head или tail быть предопределены в любом месте, ни в коде

Answer 1

Ваш код кажется правильным, и компилирует для меня:

Objective Caml version 3.11.1 

# let rec sort lst = ... 

val sort : 'a list -> 'a list = <fun> 
val insert : 'a -> 'a list -> 'a list = <fun> 

# sort [ 1 ; 3 ; 9 ; 2 ; 5 ; 4; 4; 8 ; 4 ] ;; 
- : int list = [1; 2; 3; 4; 4; 4; 5; 8; 9] 

Answer 2

Добавление к тому, что сказал Паскаль, тип списка определяется как:

type 'a list = [] | :: of 'a * 'a list 

и вот что вы соответствуете по вашему списку lst против.

Answer 3

Символ "|" - это символ горизонтальной линии, это не символ l, а символ -> минус и символ большего размера. Я думаю, вы скопировали и вставили сегмент кода на веб-сайт Inria. Проверьте и перепишите специальные символы. Я тестировал его, и он работает хорошо.

Answer 4

Голова и хвост не должны определяться. Они сопоставляются с «списком», который вы даете.