Filtrage

Caml fournit d'autres méthodes pour aiguiller les calculs: match   permet d'éviter une cascade d'expressions if et opère un aiguillage selon les différentes valeurs possibles d'une expression. Ce mécanisme s'appelle le filtrage; il est plus riche qu'une simple comparaison avec l'égalité, car il fait intervenir la forme de l'expression et opère des liaisons de variables.

À la fin d'un filtrage, un cas _   se comporte comme un cas par défaut. Ainsi

match {\em $e$} with
| {\em $v_1$} -> {\em $e_1$}
| {\em $v_2$} -> {\em $e_2$}
  ...
| {\em $v_n$} -> {\em $e_n$}
| _ -> {\em \em défaut}

permet de calculer l'expression e_i si e = v_i, ou défaut si $e \neq v_i$ pour tout i. Nous reviendrons sur ce mécanisme plus tard.