La programmation guidée par les types, avec OCaml

La programmation guidée par les types, avec OCaml

By Fabrice Le Fessant
Date: Saturday, 5 October 2013 14:00
Duration: 40 minutes
Language: 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.