Programmation fonctionnelle.
Base de la programmation fonctionnelle, accent porté sur la programmation pure le typage et l'immutabilité.
Le language OCaml est utilisé.