[OSDC.fr 2013] La programmation guidée par les types, avec OCaml

OSDC.fr 2013 — Fabrice Le Fessant
» http://osdc.fr/2013/talk/5065

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.