Le langage CAML utilisé ici, et plus généralement, les langages fonctionnels, constituent l'une des tentatives les plus élaborées pour faire reposer l'activité de programmation sur des concepts mathématiques et logiques.