AccueilMasterInformatiqueEnseignementsProgrammation fonctionnelle

Master InformatiqueUE Programmation fonctionnelle

Contenu

  • Introduction à la programmation fonctionnelle, sur l'exemple du langage Ocaml (expressions, évaluation, types de base. polymorphisme, ordre supérieur).
  • Fonctions récursives, filtrage. Les diverses stratégies d'évaluation, application à la programmation d'un opérateur de point fixe.
  • Les types (sommes, types récursifs, polymorphes. arbres. filtrage).
  • Sémantique opérationnelle (liaisons, environnements, clôtures, évaluation des fonctions récursives).
  • Aspects impératifs (exceptions, entrées-sorties, séquencement, fichiers, références, tableaux, enregistrements).
  • Implantation du filtrage en Ocaml (termes formels, substitutions, filtrage).

Contenu en cours d'actualisation.

Langue utilisée

Langue principale utilisée par cet enseignement : Français.

Volume des enseignements

  • Cours magistraux : 10 heures
  • Travaux dirigés : 10 heures
  • Travaux pratiques : 10 heures