Semestre 4 – Option – Programmation fonctionnelle

Objectifs

Initiation à la programmation fonctionnelle typée polymorphe dans un langage du type ML.

Prérequis

Aucun.

Contenu pédagogique de l’UE

  • Types de base, fonctions, récursivité, fonctionnelles, types polymorphes, types algébriques (listes, arbres, …). Syntaxes abstraites ;
  • Preuves de programmes récursifs: de la commutativité de l’addition à la preuve de correction du tri par fusion ;
  • Implémentation d’un interpréteur pour un mini-langage impératif (mini-Pascal).