La programmation guidée par les types, avec OCaml

La programmation guidée par les types, avec OCaml

Par Fabrice Le Fessant
Date : samedi 5 octobre 2013 14h00
Durée : 40 minutes
Langue : Français
Tags : bugs filtrage ocaml statique tests typage unitaires

OCaml est un langage statiquement typé, développé à l'INRIA, et utilisé massivement pour la programmation des logiciels les plus complexes (compilateurs et analyseurs de code embarqué, prouveurs de théorèmes, trading automatique, etc.) pour garantir fiabilité et performance. En OCaml, le paradigme de programmation est "la programmation guidée par les types", le programmeur définit les types que son application manipule, parmi un large éventail de possibilités, puis il peut coder tranquillement, en se laissant guider par le compilateur, pour obtenir un programme correct et performant sans effort.

Cet exposé est une introduction à OCaml et à la programmation guidée par les types.