On dispose d'une structure de liste.

let x = [4;5;17];;
let y = 15::x;;  (* liste [15;4;5;17] *)
let z = 12::13;; (* erreur, interdit *)

Avec une fonction on peut accéder au premier élément d'une liste head et à la queue tail – éléments suivants. Voici un exemple donnant la somme des éléments d'une liste.

let rec somme = function
  | [] -> 0                     (* liste vide *)
  | hd::tl -> hd + (somme tl);; (* hd = head = 1er item
                                   tl = tail = items suivants *)
somme x;; (* renvoie 26 *)