Programmation fonctionnelle.

Base de la programmation fonctionnelle, accent porté sur la programmation pure le typage et l'immutabilité.

Le language OCaml est utilisé.