Langages Fonctionnels - DESS GLA
à l'UFR d'Informatique de l'Université Paris 6 .
L'annee 2001/2002 est une annee intermediaire entre l'ancien cours
"Langages fonctionnels" et un nouveau cours sur les
"Environnements virtuels intelligents multi-utilisateurs". Ce nouveau cours
comprendra 5 parties : langages, repartition, environnement de developpement, 3D et IA. Les trois premieres parties seront présentées dans ce cours, les 2 autres dans le cours de Philippe Codognet.
Proposition de projets d'année
Support de cours
- Cours introductif (24/9) : comparaison des langages Scheme et Caml
Travail pour la séance suivante (probablement le 12 octobre) :
- 1/ lire le poly sur le lambda-calcul (document en pdf)
- 2/ lire le document sur la comparaison Scheme-Caml (document en pdf)
- 3/ se mettre à niveau en O'Caml (livre en ligne au moins les chapitres 2 et 3)
- 1er cours (12/10) : modele fonctionnel, typage statique et inference de types
- 2eme cours (15/10) : modele objet, typage statique, resolution de la surcharge
Travail pour la séance suivante (??) :
- 1/ lire le poly sur l'algorithme de typage (document en pdf)
- 2/ compiler, executer la commande intertypeur de l'archive
distrib.tar (en caml-light sur les machines du gla) et lire
la partie du code sur le typage;
- 3/ se mettre à niveau sur l'extension objet en O'Caml
(livre en ligne au moins
le chapitre 15)
- 3eme cours (26/10) : typage statique et typage dynamique
- resolution dela surcharge en Java
- cast objet en ocaml (cocaml)
- 4eme cours (2/11) : langage de communication : Scol
- 5eme cours (12/11) : environnement de developpement
- 6eme cours (??) :
Page maintenue par Emmanuel Chailloux, dernière modification le 1/11/2001