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 via ce sondage avant le 21 octobre. Merci d'y indiquer votre mail institutionnel et votre établissement ou votre laboratoire. Vous pouvez également indiquer, parmi les parties plus avancées, celles qui vous intéressent le plus.

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