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

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,

• 7.2, 7.3 (analyse syntaxique avec combinateurs)

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

• Analyse lexicale et syntaxique par combinateurs
• Élimination de la récursion à gauche
• Retours sur les algorithmes rendus en TP

• 5.5-5.7 (Ordre supérieur)

Projet

• Ordre supérieur sur les listes
• Modules et compilation en OCaml

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

Projet

• Lambda-calcul
• GADT (Generalized Algebraic Data Types) ?

LT SOS

Projet

• 15/12/2025 8h-12h00
• 15/12/2025 13h30-18h00