Dans ce cours, nous introduison quelques concepts de base de la programmation fonctionnelle, incluant les fonctions, les structures de données complexes (e.g. tuples, listes, énumérations), et récursivité. De plus, nous introduisons le typage statique, et motivons son usage par rapport au déboggage (e.g. en utilisant l'interpreter toplevel de Caml). Le but de ce cours est de présente l'algorithmique fonctionnelle afin de résoudre des problèmes plus ou moins complexes en manipulant les données au moyen de fonctions, et nous implantons ces concepts via des programmes en langage OCaml.
L'évaluation consiste en un examen de TP et un examen final sur table.