S51IN2M06

UE Programmation fonctionnelle

Unité d'enseignement (UE) de 3 crédits

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.

 

Volume des enseignements

  • Aucune information disponible

Responsables pédagogiques:

  • SANTOCANALE Luigi image adresse mail du personnel amu

Codes APOGÉE

  • SINBU17J [ELP]
  • SINBU17L [ELP]

Les formations qui utilisent cet enseignement

Dernière modification éffectué le 23/07/2021 à 11:01