UE LIFPF INF2030L Programmation Fonctionnelle

Semestre 2024 Printemps

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

Groupes B et C: le TD du lundi 29/01 est reporté au lundi 19/02 à 9h45

Séance de soutien ajoutée le lundi 19/02 à 11h30

Pas de contrôle le lundi 29/01

jour	heure	type	sujet	supports / remarques
15/01	8h	CM1	Lambda-Calcul	Diapositives
	9h45	TD1 sauf B	Lambda-Calcul	Sujet, corrigé
	11h30	TD1 Grp B		Salle TD13 Nautibus
22/01	8h	CM2	OCaml	Diapositives, Script démos
	9h45 ou 11h30	TP1	Prise en main	Sujet, corrigé
29/01	8h	TD2 Ctrl	Lambda-Calcul	Sujet, corrigé
				Attention groupes B et C: pas de TD le 29/01 (mais il y aura TP)
	9h45 ou 11h30	TP2	Listes	Sujet, corrigé
05/02	8h	CM3	Struct. ind. + types param.	Diapositives
	9h45 ou 11h30	TP3	Arbres	Sujet, corrigé
12/02	8h	TD3 + Ctrl	Arbres	Sujet, corrigé
				Les groupes B et C feront le TD 2.
	9h45 ou 11h30	TP4	Arbres génériques	Sujet, corrigé
19/02	9h45	TD3 (B et C)		Séance de rattrapage pour les groupes B et C
	11h30	Soutien
04/03	8h	CM4	Ordre sup.	Diapositives
	9h45	TD4 + Ctrl	Ordre sup.	Sujet, corrigé
11/03	8h	CM5	Modules	Diapositives
	9h45 ou 11h30	TP5	Struct. gen.	Sujet, corrigé de l'exercice 1
18/03	8h	TD5 + Ctrl	Ordre sup.	Sujet, corrigé
	9h45 ou 11h30	TP6	Transf. struct.	Sujet, corrigés dans les TD/TPs référencés dans le sujet
25/03	9h45 ou 11h15	TP7	App. OCaml (à changer ?)	Sujet, corrigé
08/04	8h	CM6	Foncteurs	Diapositives, code
	9h45	TD6 + Ctrl	Foncteurs	Sujet, corrigé
15/04	entre 8h et 13h	Soutenance TP	Interrogation orale sur les TPs

Annales

• Printemps 2023, session 1, corrigé

Évaluation

• 4 contrôles en TD + 1 oral de TP: 60 %
• ECA: 40%