Introduction au langage OCaml
Présentation
Ce document est un support de cours que j'ai écrit pour une introduction au langage OCaml sous forme de travaux pratiques. J'ai assuré cette formation à l'INRIA Rocquencourt. Je la mets à disposition pour permettre une utilisation similaire.
Toutes les explications données pendant la formation ne sont pas (encore?) écrites. Je pense notamment à la notion d'environnement d'évaluation qui mériterait quelques schémas (je réfléchis à faire générer des figures automatiquement pour illustrer ce propos).
L'intermède scientifique dont il est question à la fin du chapitre sur la programmation fonctionnelle est un exposé sur les recherches en cours liées au développement d'OCaml: typage, vérification de type, inférence, ... Lors de la formation, il était assuré par Didier Rémy, chercheur dans l'équipe Gallium du centre INRIA Paris-Rocquencourt.
Un pré-requis pour cette formation est une connaissance de la programmation (algorithmique notamment). Selon le niveau et pour faire tous les exercices, compter entre trois et quatre jours.
Accès au support
La version courante est datée du 8 février 2012.
La formation est disponible en plusieurs formats:
Dernières modifications
- 8 février 2012: typos, ajout des liens vers ODT, OCaml editor, TryOCaml et la version française du cours de programmation système en OCaml.
Hébergement et développement
Ce support de formation est hébergé sur la forge OCaml, et les sources y sont également disponibles: http://forge.ocamlcore.org/projects/form-ocaml/
Licence
"Introduction au langage OCaml" par Maxence Guesdon est mis à disposition selon les termes de la licence Creative Commons Paternité-Pas d'Utilisation Commerciale-Partage des Conditions Initiales à l'Identique 2.0 France.