Licence 3

Programmation Fonctionnelle

2009/2010

Stefano Guerrini

1. Calendrier
2. Support du cours

Calendrier

1. 29/01/2010:
   CM: 8h30-10h00 - C308
   • Introduction à la programmation fonctionnelle et à OCaml.
   • Types de base.
   • Expressions et fonctions.
   • Noms.
   Support du cours:
   • Slides: p.1-19
   TD: 10h15-11h45 - C308
   • Exercices: feuille 1
2. 05/02/2010:
   CM: 8h30-10h00 - C308
   • Produits cartésiens.
   • Récursion en OCaml.
   • Définitions global et locales. Définition simultanées et récursion mutuelle.
   • Synthèse des types.
   • Introduction aux fonctions polymorphes.
   • Introduction à les listes.
   Support du cours:
   • Slides: p.20-32
   TD: 10h15-11h45 - C308
   • Exercices: feuille 1, feuille 2
3. 12/02/2010:
   CM: 8h30-10h00 - C308
   • Exemples de polymorphisme. Synthèse de types polymorphes.
   • Listes polymorphes.
   • Définitions de types.
   • Types somme.
   • Cas simples de pattern matching.
   Support du cours:
   • Slides: p.33-36
   • Poly: définition de types et listes
   TD: 10h15-11h45 - C308
   • Exercices: feuille 2, feuille 3
4. 19/02/2010:
   CM: 8h30-10h00 - C308
   • Listes.
   • Fonctionnelles sur les listes (map, fold_right, fold_left). Le pattern matching.
   • Compléments sur le pattern matching
   Support du cours:
   • Poly: définition de types et listes
   • Poly: compléments sur le pattern matching
   TD: 10h15-11h45 - C308
   • Exercices: feuille 2, feuille 3
5. 05/03/2010:
   CM: 8h30-10h00 - C308
   • Types recursives.
   • Arbres binaires.
   Support du cours:
   • Poly: types récursifs et arbres binaires
   TD: 10h15-11h45 - C308
   • Exercices: feuille 3, feuille 4
   • Corrigés: corrigés du feuille 3, corrigés du feuille 4
6. 12/03/2010:
   CM: 8h30-10h00 - C308
   • Exemples de arbres
   • Fonction sur les abres
   • Enregistrements
   Support du cours:
   • Poly: types récursifs et arbres binaires
   • Poly: vecteur, enregistrement et aspect imperatifs
   TD: 10h15-11h45 - C308
   • Exercices: feuille 5
   • Corrigés: feuille 5 (ex. 1-6)
7. 19/03/2010:
   CM: 8h30-10h00 - C308
   • Références
   • Boucles
   • Vecteurs
   Support du cours:
   • Poly: vecteur, enregistrement et aspect imperatifs
   TD: 10h15-11h45 - C308
   • Exercices: feuille 5, feuille 6
   • Corrigés: feuille 5 (ex. 7-11),
8. 26/03/2010:
   CM: 8h30-10h00 - C308
   • Exceptions
   Support du cours:
   • Poly: vecteur, enregistrement et aspect imperatifs
   • Poly: input/output de base
   • Liens: tableau des fonctions de I/O de base
   • Manuel: input/output
   • Manuel: Module Printf
   • Manuel: Module Scanf
   • Liens: typage, domaine de définition et exceptions
9. 02/04/2010:
   CM: 8h30-10h00 - C308
   • Input/output
   • Exceptions
   Support du cours:
   • Poly: exceptions
   • Liens: typage, domaine de définition et exceptions
   • Exemples: des exemples d'utilisation des exceptions
10. 09/04/2010:
    CM: 8h30-10h00 - C308
    • Programmes qui utilsent les exceptions
    • Input de/output sur fichiers
    Support du cours:
    • Exemples: des exemples de fonctions montrés pendant le cours

Support du cours

• Notes du cours de programmation fonctionnelle de Marie-Pierre Béal, Université de Marne-la-Vallée
• Le site officiel du langage Caml.

Tutoriels

• Le manuel d'Objective Caml
• Développement d'applications avec Objective Caml (par Emmanuel Chailloux, Pascal Manoury et Bruno Pagano): un ouvrage d'introduction et de référence complet sur Objective Caml.
• Functional programming using Caml Light (par Michel Mauny): une introduction à la programmation fonctionnelle (Caml Light est une implémentation légère du langage de programmation Caml)

Autres guides

• Les pointeurs en Caml
• Conseils de programmation Caml
• Déboguer un programme en Caml