Programmation Avancée

ENS Paris-Saclay, L3, 2024-2025

Les cours sont donnés par Jacques-Henri Jourdan et Armaël Guéneau, et les TPs par Arnaud Golfouse et Paul Robert.

Informations pratiques

Les cours et TP se passent le vendredi . Les cours sont de 11h15 à 13h15 en salle 1Z61 et les TPs de 14h15 à 16h15 en salle 1S53 (cf l'emploi du temps).

Afin de simplifier l'installation des outils nécessaires à ce cours, il est conseillé de suivre les instructions décrites sur cette page.

Évaluation

L'évaluation de ce cours se fait avec un examen final (40%), un projet (40%) et le contrôle continu des TPs à rendre (20%: 6 meilleures notes retenues sur 12 TPs).

La seconde session (rattrapage) est un oral, dont la note compte pour 40%, les notes du projet (40%) et du contrôle continu (20%) étant reportées.

Examen final

Sous réserve de modification, l'examen final est prévu le 30 mai 2025, de 11h15 à 13h15 (horaires habituelles du cours), dans une salle à déterminer.

Sujets d'examen des années précédentes : 2022, 2023 2024

Cours 0 (24 janvier) : présentation, installation des machines

Cours 1 (7 février) : OCaml : modèle d'exécution et représentation des valeurs

Cours 2 (14 février) : modules

Cours annulé (21 février)

Vacances (28 février)

Cours 3 (7 mars) : introduction à Rust (types, propriété, emprunts et durées de vie)

Cours 4 (14 mars) : surcharge

Cours 5 (21 mars) : programmation orientée objet

Cours 6 (28 mars) : GADTs

Cours 7 (4 avril) : programmation avancée en Rust

Cours 8 (11 avril) : fonctions comme valeurs de première classe

Cours 9 (18 avril) : gestion mémoire

Vacances (25 avril)

Cours 10 (2 mai) : effets et monades

Semaine d'aide au projet (9 mai)

Cours 11 (16 mai) : parallélisme et concurrence

Cours 12 (23 mai) : pratique de Rust

Examen le 30 mai (horaires du cours habituelles)