Planning PF (programmation fonctionnelle, Info4 - Polytech)

• 1.1, 1.2 (type somme, filtrage)
• 1.3 (fonctions)
• 1.4 (if fonctionnel)
• 1.6 (récursivité : factorielle)
• 1.8 (portées) : à faire à la maison
• En option : 1.5, 1.7

• 1.8 (portées) : correction (fait maison)
• 2.1 (arbres binaires)
• 2.3, 2.4 (ABR) ; en option : 2.5
• listes : 3.1 (listeint seulement ; somme des éléments) ; 3.2, 3.4 (en utilisant max_int et le type option)

Fait R1:

• 1.8 (portées) : correction (fait maison)
• 2.1 (arbres binaires)
• listes : 3.1 (listeint seulement ; somme des éléments) ;
• 2.3

• 5.1 à 5.4 (ordre supérieur élémentaire) – 5.1 : somme de deux fcts arith – 5.2 : compo (g ∘ f) et compo2 : ('a -> 'b * 'c) -> ('b -> 'c -> 'd) -> 'a -> 'd – 5.3 : produit de n fonctions arith – 5.4 : curry / uncurry
• listes (?)
• 2.2 (preuve simple arbre binaire)
• 1.9 (évaluation de fonctions + typage)

• 3.7, 3.8 (fonctions simples sur les listes)
• 3.15, 3.16 (propriétés de append et preuves)

• Exceptions
• Le min d'une liste, avec exception juste sur l'appel "initial"
  • récursif structurel (sans accumulateur)
  • récursif avec accumulateur
• Ordre sup : verif ABR avec accumulateur fonctionnel
• Preuve de long2 u 0 = long u (sauf si preuve min suffisante -> exo ?)

• 4.1, 4.2 (exceptions)
• preuves : fichier Coq renv_acc.v fourni en ligne
  • 3.16 (associativité de @)
  • 3.19 (renversement efficace)
  • (*) 3.17 (renversement et @), 3.18 (renversement du renversement)

• 8.2, 8.3 (array_to_list et array_of_liste) [45 minutes max]
• 7.1 (analyse syntaxique de suites de chiffres)

Listes et arbres

Venez avec vos PCs. Vous devrez rendre un fichier .ml qui compile sans erreur.

Analyse syntaxique :

• Chap 6 : analyse syntaxique descendante
• analist_exemples.ml et anacomb_decouverte.ml

• 7.2, 7.3 (analyse syntaxique avec combinateurs)

Analyse lexicale et syntaxique, section 5 poly TP.

Suivant avancement : (avec analiste.ml )

• reprendre le 5.1 (suites de chiffres), éventuellement avec anacomb.ml pour les plus agiles ;
• 5.3 (connect6)
• 5.2 (expressions arithmétiques) de préférence avec anacomb.ml,

Un petit bilan du TP

contexte : le td et le cours sur l'analyse syntaxique arrivent apres les vacances, ce qui a rendu le TP de ce vendredi un peu fastidieux.

Je leur ai donné une solution pour horner, mais malgré ca beaucoup ont avancé doucement (tp 5, AS avec analist.ml). Certains ont eu du mal a comprendre qu'analist permettait aussi bien de fait de l'analyse lexicale que syntaxique par exemple. J'ai senti un peu de découragement chez certains (bon, c'était le vendredi des vacances aussi).

Pour le cc, comme convenu avec Pierre, j'ai pris à part les 3 plus faibles rendus pour en discuter de vive voix. Stein semblait quand même bien comprendre ses erreurs, qui étaient en fait effectivement plutot des étourderies. Pour Bouti, le problème était plutot qu'elle lisait les questions de travers et qu'elle cherchait (et trouvait) la complication, mais son niveau en PF me parait acceptable. Quant à Sawafi, il m'avait demandé de pouvoir partir tot pour avoir son avion, et je n'ai pas tilté à ce moment que c'etait un de ceux que je voulais voir.

Bref, il ne me semble pas y avoir de grosses catas en PF comme les 2 années précédentes.

• Élimination de la récursion à gauche
• Ordre supérieur sur les listes
• Retour sur les combinateurs

• finir au moins le 5.2 (expressions arithmétiques) de préférence avec anacomb.ml,
• démarrage projet

• 5.5-5.7 (Ordre supérieur)

• Un peu de LT ?
• Lambda-calcul

Projet

• Lambda-calcul
  • 10.2 (not, and)
  • 10.3 (succ)
  • 10.4 (plus, mult)
• 6.1, 6.2 (listes paresseuses) ?

Projet

• Modules et compilation en OCaml

LT SOS

Projet

• lundi 04/01/2027 8h-12h00
• lundi 04/01/2027 13h30-18h00