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, pas autorisé *)

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                (* si la liste est vide *)
  | hd::tl -> hd + (somme tl);;(* hd = head = 1er élément
                                tl = tail = éléments suivants.*)
somme x;; (* renvoie 26 *)