Les diapos du cours sont téléchargeables ici. Attention à rafraichir ce fichier téléchargé régulièrement car des mises à jour sont apportées progressivement.
CM 1, 25 janvier 2021 : principes généraux de la programmation fonctionnelle ; machines de Turing ; correspondance entre programmes et entiers ; décidabilité et indécidabilité.
CM 2, 1er février 2021 : principe de transparence référentielle ; systèmes de types (vérification statique / dynamique, attribution explicite / implicite) ; base de la programmation en Caml ; liaisons.
CM 3, 8 février 2021 : types de base et leurs opérations ; fonctions : concept, écriture, applications partielles ; expressions conditionnelles.
CM 4, 15 février 2021 : fonctions anonymes ; calcul du type d’une fonction ; entrées / sorties ; séquences ; programmations à plusieurs fichiers et compilation.
CM 5, 1er mars 2021 : types ; couples et \(n\)-uplets ; enregistrements ; sommes ; types paramétrés ; listes ; arbres ; mots fonctionnels.
CM 6, 8 mars 2021 : images fonctionnelles ; filtrage de motifs ; fonctions d’ordre supérieur ; curryfication.
CM 7, 15 mars 2021 : polymorphisme ; stratégies d’évaluation ; fonctions supérieures sur les listes.
Au total, neuf sujets de TP sont proposés.
Il est demandé de rendre chaque travail en binôme exactement une semaine après la dernière séance consacrée à la fiche.