-
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.