Introduction à la programmation fonctionnelle en Ocaml
Pourquoi Ocaml?
•C’est un langage multi-paradigme, concis et puissant:
•traits fonctionnels, et impératifs,
•système de modules génériques,
•Programmation objet sophistiquée,
•nombreuses librairies
•Il permet de programmer aisément des applications
complexes;
•C’est un langage sûr et facile à employer:
typage fort et inférence des types.
Pourquoi Ocaml? (suite)
•Son noyau fonctionnel est bien adapté à l’analyse
mathématique des programmes;
•C’est langage qui possède deux modes:
•compilé (byte-code ou code natif), avec performances
comparables à C;
•et un mode intéractif, qui facilite les tests.
•Gestion mémoire automatique (comme en Java).
Documentation, distribution et plus de détails:
http://caml.inria.fr/ocaml.
Un peu d’histoire
Ocaml est un langage de la famille ML, développé depuis ≈1980.
1975 : Robin Milner propose ML comme mèta-langage (langage de
script) pour l’assistant de preuve LCF. Devient rapidement un
langage de programmation à part entière.
1985 : Développement de Caml à l’INRIA, de Standard ML
(Edinburgh), de “SML of New-Jersey”, de Lazy ML(Chalmers),
de Haskell (Glasgow), etc.
1990-95 : Implantation de Caml-Ligh, compilateur vers du code natif +
système de modules.
1996 : Objets et classes (OCaml).
2001-... : Arguments étiquettés, Méthodes polymorphes, librairies
partagées, Modules récursifs, private types, . . . .
Domaines d’utilisation
Un langage multi-paradigme et d’usage général avec des
domaines de prédilection:
•Calcul symbolique: Preuves mathématiques, compilation,
interprétation, analyse de programmes.
•Prototypage rapide: Langage de script; Langages dédiés.
•Programmation distribuée (bytecode rapide).
Utilisé en enseignement et recherche:
•Classes préparatoires.
•Utilisé dans de grandes universités (Europe, US, Japon,
etc.).
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
1
/
80
100%
