Cette formation est à destination des ingénieurs, chercheurs et doctorants.

OCaml est un langage de programmation multiparadigmes (fonctionnel, impératif, objets) développé depuis plusieurs années par l'INRIA et utilisé aussi bien dans le milieu académique que dans l'industrie. Conçu pour garantir la sûreté et la fiabilité des programmes, il est très expressif et néanmoins facile d'apprentissage et d'emploi.

La formation consiste en une présentation du langage (écosystème, environnement de développement) et une introduction à la programmation (fonctionnelle, impérative, objets) en OCaml, incluant des exercices pratiques. Elle est dispensée en français par Maxence Guesdon (INRIA Saclay) et s'appuie sur ce support de cours.

Il faut venir avec son ordinateur sur lequel aura préalablement été installé OCaml (http://ocaml.org) et un éditeur, par exemple OCaml-top.