Programmation 1

Programmation 1
Daniel Hirschkoff
TDs: Romain Demangeon, Jonathan Grattage

Contenu et objectifs du cours
Ice n’est pas un cours de programmation
Ic’est plutˆot un cours sur la programmation
sur les langages de programmation
sur les langages
Iil va ˆetre question
Ide langages de programmation
Ide mod`eles formels des langages de programmation
s´emantique des langages de programmation
Ide raisonnement, de logique

Organisation
Idisparit´es dans les groupes
24>4: ceux qui peuvent vont en TD mardi apr`es-midi
Idisparit´es de niveau
vont s’estomper

Caml
Ipoint de d´epart: Caml
ICaml est un langage pour la programmation fonctionnelle
Iorigines: R. Milner, ML, meta language, pour programmer
LCF, ann´ees 80
Ifamille: LISP, Scheme, (S,Ca)ML, Haskell, . . .
Idans le paysage des langages de programmation, les langages
fonctionnels sont plutˆot de haut niveau
Iils fournissent des abstractions
I(plus ou moins) loin de l’ex´ecution concr`ete des programmes,
en machine
Ion ´elimine ce qui est “p´eriph´erique”
Ilibrairies (p.ex. graphisme et interfaces, ex´ecutions en parall`ele,
portabilit´e avec d’autres langages ..)
Iinterfaces, ´editeurs

Le langage de programmation
fun x −> e
(e e’)
let x = e
let rec f = e
ref e
! := ;
print_int, ..
exception E
try e with
| E −> ..
raise E
type t = C of ..
match e with
| C x −> ..
manquent types et modules