Ce premier chapitre introduit les principes de base du langage Caml et des langages fonctionnels en général.
Première structure de donnée étudiée, les listes (simplement chaînées) sont des collections séquentielles de données de même type.
En informatique, les arbres sont des structures de données récursives et non linéaires.
Bien que langage fonctionnel avant tout, il est possible de programmer par effet en Caml.
Les piles (FIFO) et les files (LIFO) sont des structures de données fondamentales en informatique qui se distinguent par les conditions d'ajout et d'accès aux éléments.
Dans ce chapitre sont abordés les fondements théoriques de la récursivité.
Preuve de terminaison, preuve de validité, évaluation de la complexité algorithmique.
Paradigme diviser pour régner, théorème maître.
Résolution d'un problème d'optimisation.
Implémentation d'une table d'association à l'aide d'une table de hachage.