Programmation fonctionnelle

Présentation

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

Descriptif

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

Bibliographie

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