Partie: I
Un survol du langage

• Déclarations
• Importation
• Types produit cartésien
• Types enregistrements
• Types sommes
• Types récursifs
• Impératif

Partie: II
Présentation détaillée du langage

• La programmation fonctionnelle
  • Expressions et valeurs
  • Fonctions
  • Fonctions récursives
  • Listes (début du filtrage)
  • Types produits
  • Types enregistrements
  • Types sommes
  • Types récursifs
  • Un peu d'ordre supérieur
• La programmation impérative
  • Références
  • Tableaux
  • Séquences
  • Boucles
  • Exceptions
• Programmation fonctionnelle vs impérative

Partie: III
Un exemple complet
complément sur les types polymorphes

• Types
• Exemples
• Imprimer l'arbre par un parcours infixe
• Trier une liste en utilisant un arbre binaire de recherche
• Évaluation d'un arbre d'expression
• Expressions avec variables

Ce document a été traduit de L^AT_EX par H^EV^EA et H^AC^HA.