Les diapos du cours sont téléchargeables dans cette partie. Attention à rafraichir les fichiers téléchargés régulièrement car des mises à jour peuvent être apportées progressivement.
Les diapos du cours dans leur intégralité sont ici. Elle contiennent en particulier le dernier chapitre qui n’a pas été étudié lors des séances et qui n’interviendra pas ni lors des TP, ni lors de l’examen.
CM 1, 24 janvier 2022 : principes généraux de la programmation fonctionnelle ; machines de Turing ; correspondance entre programmes et entiers ; décidabilité et indécidabilité ; principe de transparence référentielle ; systèmes de types (vérification statique / dynamique, attribution explicite / implicite).
Les diapos sont ici.
CM 2, 31 janvier 2022 : base de la programmation
en Caml ; liaisons ; types de base et leurs opérations.
Les diapos sont ici.
CM 3, 7 février 2022 : fonctions : concept, écriture, applications partielles ; expressions conditionnelles. fonctions anonymes ; calcul du type d’une fonction ; entrées / sorties ; séquences.
Les diapos sont ici.
CM 4, 14 février 2022 : programmations à plusieurs fichiers et compilation ; types ; couples et \(n\)-uplets ; enregistrements ; sommes ; types paramétrés ; listes.
Les diapos sont ici.
CM 5, 7 mars 2022 : mots fonctionnels ; images fonctionnelles ; filtrage de motifs.
Les diapos sont ici.
CM 6, 14 mars 2022 : fonctions d’ordre supérieur ; curryfication ; polymorphisme.
Les diapos sont ici.
CM 7, 21 mars 2022 : stratégies d’évaluation ; fonctions supérieures sur les listes ; non-mutabilité.
Les diapos sont ici.
Au total, neuf sujets de TP sont proposés.
Il est demandé de rendre chaque travail individuellement exactement une semaine après la dernière séance consacrée à la fiche.
Les notes de cours (manuscrites ou imprimées) sont autorisées pour l’examen. Les livres ainsi que tout matériel électronique (hors machine de l’université) sont interdits.
L’examen de l’année 2020–2021 est disponible ici et le fichier squelette est ici.
Ce fichier contient une liste de recommandations importantes.