Cour 1 CF

Calcul formel
Une introduction
1

Programme
Introduction à la programmation fonctionnelle avec le langage CAML
Interprétation et évaluation
Expressions et précédence des opérateurs
Définitions
Types élémentaires
Produit
cartésien
2
Produit
cartésien
Les listes
Définition des fonctions
La construction match-with et le filtrage
Structures de données
Récursivité
Exceptions et fonctions partielles
Polymorphisme et fonctions d’ordre supérieur

Programmation fonctionnelle(1)
concept fondamental:
L’Traiter une chose complexe en la divisant en choses plus simples et en
ignorant les détails.
objets de base :
la
Un
programme
est
un
ensemble
de
fonctions
traitant
des
données
d’entrées
.
3
la
Un
programme
est
un
ensemble
de
fonctions
traitant
des
données
d’entrées
.
des langages interprétés
instructions / interprété au fur et à mesure —> machine
≠ langages compilés :
instructions / préparation (compilation) / exécution

Programmation fonctionnelle(2)
pas de commandes, ni de séquencement de
commandes.
L’accent est mis sur le concept d’expression (termes)
et leur évaluation
4
Programme = groupe de fonctions
Relations entre fonctions :
une fonction peut appeler une autre fonction
le résultat d’une fonction peut être un argument
d’une autre fonction

Programmation fonctionnelle(3)
la programmation fonctionnelle est une famille de langage
très proches, dont le plus célèbre est LISP développé au
MIT.
le
successeur
de
LISP
:
scheme
:
plus
léger,
plus
simple
et
5
le
successeur
de
LISP
:
scheme
:
plus
léger,
plus
simple
et
aussi puissant, utilisé pour l’éducation ou le scriptage (ex:
Gimp) mais pas de typage des données ; on utilisera donc
un autre langage fonctionnel typé: Caml