Programmation fonctionnelle II (INFO402_INFO)

Présentation

On approfondira la notion de type algébrique via la notion d'arbre de syntaxe abstraite. On étudiera l'interaction des traits impératifs et fonctionnels et notamment, on verra les références, les champs mutables et quelques structures de données semi-persistences.

On abordera la programmation modulaire à l'aide des foncteurs d'OCaml.

Plan du cours

TP/TD: Les TDs et les TPs mettront en œuvre les concepts du cours en OCaml.

Volume horaire

  • CM : 6.0
  • TD : 9.0
  • TP : 12.0

Diplômes intégrant ce cours

En bref

Crédits ECTS : 3

Langue d'enseignement
Français

Contact(s)

UFR, Écoles, Instituts

Lieu(x)

  • Le Bourget-du-Lac (73)