Programmation OCaml pour l`agrégation

Premiers pas Donn´ees structur´ees La programmation dans l’´epreuve de mod´elisation
Programmation OCaml pour l’agr´egation
Vincent Picard
IRISA - ENS Rennes
Ann´ee 2012 – 2013

Premiers pas Donn´ees structur´ees La programmation dans l’´epreuve de mod´elisation
Plan
Premiers pas
Expressions et types
Environnement
Expressions conditionnelles
Fonctions
Aspects imp´eratifs
Donn´ees structur´ees
Listes
Les tableaux
Les tuples
Les enregistrements
Les sommes
La programmation dans l’´epreuve de mod´elisation
D´eroulement
Bonnes habitudes

Premiers pas Donn´ees structur´ees La programmation dans l’´epreuve de mod´elisation
Premiers pas

Premiers pas Donn´ees structur´ees La programmation dans l’´epreuve de mod´elisation
Expressions
•Un programme OCaml est grossi`erement constitu´e d’une suite
finie d’expressions qui sont ´evalu´ees une `a une.
•Contrairement `a certains langages (C, C++, Java), il n’existe
pas d’instruction en OCaml.
•Chaque expression a un type qui peut ˆetre d´etermin´e avant
l’ex´ecution du programme.
•Exemples
•5∗2 + 7 est une expression de type entier int.
•true est une expression de type bool´een bool.
•for i = 1 to 10 do print int i done est une expression de
type unit´e unit.
•On utilise deux points-virgules pour indiquer la fin d’une
expression. Voici un exemple de programme :
print string ”Bonjour !” ;;
print newline ();;

Premiers pas Donn´ees structur´ees La programmation dans l’´epreuve de mod´elisation
Aper¸cu des types usuels
•Les types de base
•Unit´e : unit (une seule valeur ())
•Bool´eens : bool (ex : true,false )
•Entiers : int (ex : 42)
•Nombres `a virgule flottante : float (ex : 1.618)
•Caract`eres : char (ex : ’G’)
•Chaˆınes de caract`eres : string (ex : ” alice ”)
•Listes : ’a list (ex : [1; 1; 2; 3; 5; 8])
•Tableaux : ’a array (ex : [|’ b ’; ’o ’; ’b ’|])
•Exceptions : exn (ex : Not found)
•Les types fonctionnels : ’a −>’b
•Les types construits
•n-uplets
•enregistrements ou produits
•unions ou sommes