Programmation fonctionnelle

Programmation fonctionnelle
Notes de cours
Cours 1
12 Septembre 2012
Sylvain Conchon
[email protected]
1/32

Calendrier
Les TD commencent la semaine du 17 Septembre
Au total : 10 cours de 1h45, 11 TD de 3h
Contrˆole des connaissances :
Ipartiel : semaine du 22 Octobre (`a confirmer), coef. 0,4
Iexamen : semaine du 10 D´ecembre (`a confirmer), coef. 0,6
Retrouver toutes ces informations (et d’autres) sur le web
http://www.lri.fr/~conchon/PF/
2/32

Objectifs de ce cours
Programmer, programmer, programmer. . .
Iacqu´erir de bons principes de programmation (ind´ependants
du langage de programmation)
Iprogrammer les algorithmes vus en cours d’algorithmique
Isavoir exploiter au mieux les atouts de la programmation
fonctionnelle dans vos applications futures
3/32

Le langage Ocaml
http://caml.inria.fr
Ilangage d´evelopp´e `a l’INRIA (Institut National de Recherche
en Informatique et en Automatique)
Idisponible sur de nombreuses architectures (Linux, Windows,
Mac OS X etc.)
R´ef´erences :
IE. Chailloux, P. Manoury, B. Pagano
D´eveloppement d’Applications avec Objective Caml
http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/
IP. Weis, X. Leroy
Le Langage Caml
http://caml.inria.fr/pub/distrib/books/llc.pdf
IG. Cousineau, M. Mauny
Approche Fonctionnelle de la Programmation
http://pauillac.inria.fr/cousineau-mauny/
4/32

Principe du d´eroulement de ce cours
1 cours
=
1 programme
Notes de cours :
Iun poly d’introduction `a OCaml ;
Ides transparents qui contiennent les nouvelles notions du
langage Ocaml n´ecessaires pour r´ealiser le programme ´etudi´e ;
Iun listing du code du programme ´etudi´e
5/32