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 comporte également des parties plus spécifiques (tests, parallélisme et concurrence).

Elle est dispensée en français par Maxence Guesdon (INRIA Saclay) et s'appuie sur ce support de cours.

L'inscription se fait auprès d'Irina Lahaye. Le nombre de places est limité. Les personnels ayant répondu au sondage seront prioritaires.

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