EPITA Spé: Programmation Introduction à OCaml - wiki-prog
EPITA Sp´
e:
Programmation
Introduction `
a
OCaml
Marwan Burelle
Introduction
Architecture des
programmes
OCaml
Programmation
Fonctionnelle
Programmation
Imp´
erative en
OCaml
EPITA Sp´
e: Programmation
Introduction `
a OCaml
Marwan Burelle
marwan.b[email protected]
http://wiki-prog.kh405.free.fr
EPITA Sp´
e:
Programmation
Introduction `
a
OCaml
Marwan Burelle
Introduction
Architecture des
programmes
OCaml
Programmation
Fonctionnelle
Programmation
Imp´
erative en
OCaml
Objective Caml
Langage fonctionnel de la famille ML
Langage fortement typ´
ee, dot´
e d’un typage statique
Le syst`
eme de type propose un m´
ecannisme
d’inf´
erence (type reconstruction)
Le syst`
eme de type est polymorphe
Le langage dispose de l’ordre sup´
erieur
Le langage propose des extensions imp´
eratives
Le langage propose un sous-langage de modules tr`
es
´
evolu´
e (modules imbriqu ´
es, foncteurs . . . )
Le langage propose un couche objet
EPITA Sp´
e:
Programmation
Introduction `
a
OCaml
Marwan Burelle
Introduction
Architecture des
programmes
OCaml
Programmation
Fonctionnelle
Programmation
Imp´
erative en
OCaml
Programmation Fonctionnelle
Pas de notion variables
It´
erations au travers de la r´
ecursion
Les fonctions sont le point centrale du langage
G´
en´
ericit ´
e au travers des fonctions de premi`
ere classe
et du polymorphisme
Pas d’instruction : tout est expression et renvoie une
valeur
Pas d’effet de bord
Les op´
erations sur une structure de donn´
ee travaille
toujours en renvoyant une copie.
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
1
/
27
100%
