Maximum d'un tableau

let maximum t =
  let m = ref t.(0) in
  for i = 1 to Array.length t - 1 do
    if t.(i) > !m then m := t.(i)
  done;
  !m

On initialise le maximum courant à la première case, puis on parcourt à partir de l'indice 1. La précondition « non vide » est nécessaire : sur le tableau vide, t.(0) lèverait Invalid_argument.