E. Lozes, PR

Programmation fonctionnelle

Ce cours est une introduction à la programmation fonctionnelle typée. Le langage support pour le cours est OCaml.

Public

Ce cours est destiné au L2 math-info et au L3 info.

Contenu

Ce cours et un nouveau cours et son contenu est susceptible d’évoluer au moment de l’ouverture du cours.

A titre indicatif, le contenu envisagé pour ce cours est

  1. Programmer avec des fonctions
  2. Listes, pattern matching, exceptions
  3. Les fonctions d’ordre superieur, les types enumeres, recursifs, et polymorphes
  4. Mutation et style imperatif
  5. Modules et foncteurs
  6. Programmation orientée objet en OCaml
  7. Paresse, flots, structures de données persistantes
  8. Monades
  9. Typage avancé