INFO3210 : Projet fonctionnel
Functional Programming Project
- Responsable(s) :
-
- Eric Thierry
- Enseignant(s) :
-
- Daniel Hirschkoff
Niveau
L3 / 1e année
Discipline
Informatique
Public externe (ouverts aux auditeurs de cours)
Informations générales sur le cours : INFO3210
Ce cours est avant tout un cours projet, durant lequel on développe un interprète pour un langage fonctionnel relativement riche. C'est l'occasion de découvrir par la pratique un certain nombre de notion entrant en jeu dans le contexte de la compilation. Pour les binômes les plus avancés, l'implémentation d'un petit assistant de preuves est également prévue.
Un tiers environ du cours est consacré à une partie théorique, qui se focalise sur le lambda-calcul typé, ses liens avec les langages de programmation (systèmes de types avancés, garanties offertes par le typage) et avec la logique (théorie de la démonstration, idées sous-tendant la définition d'assistants de preuve).
Le cours de Théorie de la Programmation, offert au premier semestre de L3, est nécessaire pour suivre le cours Projet Fonctionnel.
Une connaissance au moins élémentaire du langage OCaml est nécessaire.
La partie "projet" du cours est effectuée en binôme. Les binômes sont constitués d'étudiant.es ayant un niveau comparable. Le langage d'implémentation est OCaml. Un point hebdomadaire sur l'avancée du projet est organisé.
La partie théorique du cours se déroule au rythme de 2h de cours et 2h de TD par semaine. Elle est validée par un partiel, qui compte pour un tiers de la note finale.
Les horaires du cours sont à définir.