Maîtrise de Math/Info 2000-2001 : TD/TP de programmation avancée
Renseignements généraux
Ce module de la
Maîtrise de Mathématiques et
Informatique
se déroule sur 9 semaines (réparties sur les 12 semaines du
semestre) comprenant chacune
- 2 heures de cours assurés par
Pierre
Castéran (le mercredi de 8h00 à 10h00),
- 4 heures de TD/TP (le lundi de 8h00 à 10h00 et le mercredi de
10h15 à 12h15).
L'évaluation consiste en un mini-projet et un examen.
Programme
Ce module comporte deux volets.
-
6 semaines consacrées à la programmation fonctionnelle vue à
travers le langage ML (on insistera particulièrement sur les notions
de typage, fonctionnelle, polymorphisme, flots, modules et
foncteurs). On utilise le langage Moscow ML.
-
3 semaines consacrées au C et plus particulièrement à la boîte à
outils graphiques GTK (projet GNU),
qui permet de travailler sur les notions d'héritage et de
programmation événementielle.
Documents
La
page maintenue par Pierre Castéran propose divers choses, dont les
sources des exemples vus en cours, pour
ML,
C et
GTK.
Nous utilisons Moscow ML en TD : vous pouvez consulter le
manuel de l'utilisateur et le
manuel de référence (en anglais
... désolé).
Pour GTK, vous pouvez consulter les documents suivants :
Feuilles de TD/TP
La feuille de TD utilisée lors de la
semaine 1.
Les feuilles de TD de la semaine 2 :
TD 3 et
TD 4.
La feuille de TD utilisée lors de la
semaine 3.
La feuille de TD utilisée lors de la
semaine 4.
La feuille utilisée lors du TD 8.
La feuille utilisée lors du TD 9.
La feuille des TD 10 et 11: énoncé et
corrigé.
La feuille utilisée lors d'un cours/TD sur les foncteurs
(td12).
L'énoncé du projet et la
correction.
Les sources du programme étudié lors de la semaine 7 (consacrée au
polymorphisme et à l'héritage en C).
-
La version de base du programme monoid.
-
Une version étendue de ce même programme monoid.
-
La version menant aux nombres et mots de Fibonacci est en cours
d'élaboration : elle arrive bientôt (après les vacances sans doute).
Les sources des programmes étudiés lors du
premier TD de la semaine 8 (héritage, surcharge, premiers
pas en GTK : créer une fenêtre, puis une application comportant
plusieurs composants, et enfin utiliser la documentation (fichier ".h" et manuels en
ligne).
Les TD des semaines 8 et 9 (interface avec GTK) :
- l'arbre de description de l'interface en Postscript ;
- les sources du programme kebab.