Documents de support pour le cours introductif de Objective Caml
Introduction à Objective Caml. Ces quelques documents font partie du support de la mise à niveau du cours de Compilation, en automne 2000.
Résumé
Cette partie du cours est avant tout une introduction aux notions
fondamentales à la base de la programmation fonctionnelle (expressions,
definitions par cas, recursivité, fonctionnelles sur listes et arbres, etc.),
en suivant de près le livre
Approche fonctionnelle
de la programmation de Guy Cousineau.
La bibliothèque dispose maintenant de plus de 20 copies du livre Développement d'applications avec Objective Caml qui est entiérement dedié au langage Ocaml que nous utilisons dans le cours, et dont je recommande fortement la lecture. (N.B.: ce livre est entiérement en ligne).
Même si il n'y a pas de notes de cours proprement dites (pour cela on vous renvoie aux livres 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
- Aspects impératifs et système de modules
- Un exemple simple d'utilisation des modules en compilation separée
Quelque pointeur...
Roberto Di Cosmo
Professeur
PPS
Universite Paris VII
Case 7014
2, place Jussieu
F-75251 Paris Cedex 05
FRANCE
Office location:
Bureau 6C14
175, rue du Chevaleret, XIII
Metro Chevaleret, ligne 6