Programmation fonctionnelle

Dernière mise à jour le 27 février 2024

Approche fonctionnelle de la programmation, récursivité. Présentation d'un langage fonctionnel.

Types, fonctions, récursivité. Terminaison, validité et complexité des programmes récursifs.
Structures de données: listes, piles, files, arbres, graphes.
Algorithmes classiques et avancés sur ces structures de données.
Évaluations par valeur et paresseuse. Programmation modulaire.
Présentation d’un langage fonctionnel (OCaml).

Le langage Caml, X. Leroy et P. Weiss. Masson