Programmation Fonctionnelle
PF3 (6 ECTS, coef. 2)
Modalit´es d’´evaluation : `a d´efinir par l’´equipe p´edagogique
Pr´e-requis : Initiation `a la programmation (IF1), Concepts informatiques (CI2), Outils logiques (OL3)
Parcours int´egrant obligatoirement cette UE : Informatique (en S5), Math´ematiques et Informatique
Parcours pouvant int´egrer cette UE :tout autre parcours, `a l’appr´eciation du directeur des ´etudes.
Programme des enseignements – notions d’expression et de fonction ;
– liaison statique ; – typage, polymorphisme ; – r´ecurrence, filtrage ;
– types variantes (arbres, termes), types d’enregistrements ; – gestion d’erreurs, exceptions ;
– aspects imp´eratifs : actions, r´ef´erences, champs mutables ; – flux de donn´ees, fichiers ;
– production d’ex´ecutables, modularit´e ;
– techniques de programmation avanc´ees : modules, foncteurs ; – bases th´eoriques du langage, lambda calcul.
Objectifs : donner une bonne maˆıtrise du style de programmation fonctionnelle (dans sa variante OCaml) tant du point de vue pratique que du point de vue de la connaissance du langage.
