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

• La programmation fonctionnelle
  • Expressions et valeurs
• Modules et importation en bref
• Les différents types de bibliothèques
  • Fonctions
  • Fonctions récursives
  • Listes (début du filtrage)
  • Fonctions simples manipulant des listes
  • Filtrage
  • Fonctions récursives manipulant des listes
  • Fonctions récursives produisant des listes
  • 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 (non détaillé en cours)
• Programmation fonctionnelle vs impérative

Partie: II
Un exemple complet
complément sur les types polymorphes (non détaillé en cours)

• 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.