Ocaml
Pratique et principes

Plan

  1. Le langage
  2. Évaluation des programmes
  3. Typage des programmes

Pointeurs utiles

    · La page de Ocaml
    · Les pages de référence: manuel de référence, librairie du noyau et librairies standards.
    · le tutorial, les questions fréquentes (FAQ).
    · les librairies développées par les utilisateurs.
    · Les quelques livres sur Ocaml.

Les notes de cours

Toutes les notes de cours et les exercices corrigés sont en ligne (voir le plan ci-dessus). En voici une archive et une version postscript sans les exercices.

Les notes de cours sont écrites en TeX puis traduites automatiquement en HTML avec HeVeA. Utilisez plutôt la version postscript pour les imprimer. Le rendu de la version HTML est moins bon, mais elle se consulte beaucoup plus facilement. Les exercices corrigés ne figurent que dans la version HTML.

Pour visualiser correctement les symboles mathématiques, quelques réglages de votre brouteur peuvent être nécessaires.

This document was translated from LATEX by HEVEA and HACHA.