[OSDC.fr 2013] La programmation guidée par les types, avec OCaml
- il y a 10 ans
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.
» 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.