README.md



UE LIFPF INF2030L Programmation Fonctionnelle

Semestre 2025 Printemps

Configuration pour la salle de TP
Rappels git et gitlab
Questions sur le cours

(2024) indique qu'il s'agit des supports de l'an dernier qui sont à mettre à jour


jour
heure
type
sujet
supports / remarques


20/01
8h
CM1
Intro & Lambda-Calcul

Diapositives Intro, Diapositives Cours


9h45
TD1 sauf B
Lambda-Calcul

Sujet, corrigé


11h30
TD1 Grp B


27/01
8h
CM2
OCaml
(2024) Diapositives, Script démos


9h45 ou 11h30
TP1
Prise en main
(2024) Sujet, corrigé


03/02
8h
TD2
Lambda-Calcul
(2024) Sujet, corrigé


9h45 ou 11h30
TP2
Listes
(2024) Sujet, corrigé


10/02
8h
CM3
Struct. ind. + types param.
(2024) Diapositives


9h45 ou 11h30
TP3
Arbres
(2024) Sujet, corrigé


17/02
8h
TD3
Arbres
(2024) Sujet, corrigé


9h45 ou 11h30
TP4
Arbres génériques
(2024) Sujet, corrigé


10/03
8h
CM4
Ordre sup.
(2024) Diapositives


9h45
TD4
Ordre sup.
(2024) Sujet, corrigé


17/03
8h
CM5
Modules
(2024) Diapositives


9h45 ou 11h30
TP5
Struct. gen.
(2024) Sujet, corrigé de l'exercice 1


24/03
8h
TD5
Ordre sup.
(2024) Sujet, corrigé


9h45 ou 11h30
TP6
Transf. struct.
(2024) Sujet, corrigés dans les TD/TPs référencés dans le sujet


31/03
9h45 ou 11h15
TP7
App. OCaml (à changer ?)
(2024) Sujet, corrigé


07/04
8h
CM6
Foncteurs
(2024) Diapositives, code


9h45
TD6
Foncteurs
(2024) Sujet, corrigé


Annales


Printemps 2023, session 1, corrigé


Évaluation

en TP: 30%
CC intermédiaire (partiel): 30%
ECA: 40%