Documents de support pour le cours introductif de Objective Caml pour le Magistère MMFAI de l'ENS:
Introduction à Objective Caml. Ces quelques documents font partie du support de la partie Programmation du cours de Magistère "Algorithmique et Programmation", dispensé, avec Jean Berstel et Jacques Stern, en automne 1996.
Résumé
Cette partie du cours est avant tout une introduction aux notions
fondamentales à la base de la programmation fonctionnelle (expressions,
definitions par cas, recursivite, fonctionnelles sur listes et arbres, preuves
de correction inductives, etc.), en suivant de près le livre
Approche fonctionnelle
de la programmation de Guy Cousineau.
Même si il n'y a pas de notes de cours proprement dites (pour cela on vous renvoie au livre de plus en haut), vous pouvez consulter ici les fichiers des programmes et exemples vus en cours, et surtout, à l'aide du copier-coller, les tester:
- Introduction
- Les types de données
- Sémantique opérationnelle et preuves de programmes
- Aspects impératifs et système de modules
Quelque pointeur...
Le manuel Objective-Caml
ENS
LIENS
Roberto Di Cosmo
Roberto Di Cosmo
LIENS
Ecole Normale Supérieure
45, rue d'Ulm
75005 PARIS
France