Année 2011/2012 : Programmation Fonctionelle

Université Paris-Diderot, UFR d'Informatique

L'examen

Les notes ont été communiquées au Département Sciences Exactes.

Le projet

Voir la page dédiée au projet.

Support de cours

Des copies des transparents seront distribuées au cours. Elles sont également disponibles en format PDF dans le tableau de planning au-dessous.

Resources Objective Caml :

Les TP

Planning du cours

Numéro Jour Contenu
1 23/09 Cours 0 : Introduction
Cours 1 : L'interpréteur, epressions simples, définitions jusqu'à l'exemple 6
2 30/09 Cours 1 terminé
Cours 2 : String, Char, Instructions, Functions Récursives, sauf l'exemple sur les Tours de Hanoï.
3 7/10 Cours 2 terminé
Cours 3 : Listes, filtrage par motif, fonctions récursives sur les listes, terminé.
4 14/10 Cours 4 : Types somme et types produit, sauf le dernier exemple (type des formules propositionnelles)
5 21/10 Cours 4 terminé.
Cours 5 : Fonctions d'ordre supérieure presque terminé (à part List.map2)
6 28/10 Chapitre 5 terminé.
Cours 6 : Exceptions et assertions. Visite guidée du manuel OCaml.
7 4/11 Cours 7 : Entrée/Sorties, Graphisme
- 11/11 -- Ferié --
8 18/11 Cours 8 : Traits impératifs
Commencer le cours 9 : Compilation, modules
9 25/11 Cours 9 : jusq'au makefiles inclus.
10 2/12 Cours 9 terminé.
Cours 10 : Efficacité
Cours 11 : Structures de données et algorithmes
11 9/12 Cours 12 : Objets (fait jusqu'à la liaison retardée, différence entre self et super)
12 16/12 Révision

Pour information :

Contrôle des connaissances

Première session : 1/3 projet + 2/3 examen écrit

Deuxième session : max( 1/3 projet + 2/3 examen-rattrapage, examen-rattrapage )

Les redoublants peuvent demander de conserver leur note de projet de l'année précedente si cette note est au moins 10. Dans ce cas envoyer un mail à Ralf Treinen.

Équipe pédagogique

Pierre Letouzey
Guillaume Munch
Vincent Padovani (Groupe M1 Linguistique)
Fabien Renaud
Abdelhamid Salah Brahim
Ralf Treinen (Cours)
Stefano Zacchiroli
Ralf Treinen

Valid HTML 4.01 Transitional