Présentation

anchor 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 dans les centres INRIA de Rocquencourt et Saclay. Je la mets à disposition pour permettre une utilisation similaire.

anchor 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).

anchor 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 aux supports

anchor Le support rédigé est disponible ici. La dernière modification date du 03 avril 2014.

anchorDes "transparents" sont aussi accessibles:

anchor Enfin, un blog vient enrichir le site avec d'autres exemples et exercices.

Dernières modifications
  • 03 avril 2014: Dépendances entre les modules, amélioration du style.
  • 07 octobre 2013: Mise à jour: liens, OCaml 4.01 + corrections de typos.
  • 17 décembre 2012: Ajout d'un blog avec des exemples et exercices supplémentaires.
  • 12 décembre 2012: Mise en ligne des "transparents" utilisés pour la journée LoOPS du 11 décembre.
  • 24 octobre 2012: Utilisation de Stog pour générer le support. Ajout de liens vers des outils.
  • 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

anchorCe 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

anchor Creative Commons License
"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.

Auteur et contact

anchor Maxence Guesdon <Maxence 'POINT' Guesdon 'AT' inria 'POINT' fr>