UE D - Programmation fonctionnelle

Université Blaise Pascal
UE D - Programmation fonctionnelle
Chapitre 2
Bases du CAML

Université Blaise Pascal
Plan
●Caractéristiques de Caml
●Bases de la programmation Caml
●Types de base
●Définition de constantes
●Expressions conditionnelles

Université Blaise Pascal
1. Caractéristiques de Caml
●Caml = Categorical Abstract Machine
Language, 1985
–développé en France par l'Inria
–Lisp = List Processing, 1960
–ML = Meta Language, 1980
●Origine du nom
–CAM : machine abstraite permettant de définir et
d'exécuter des fonctions
–ML : langage fonctionnel, avec inférence de types
et filtrage

Université Blaise Pascal
1. Caractéristiques de Caml
●Langage
–ensemble de règles de syntaxe et de sémantique
●Fonctionnel
–basé sur la notion de fonctions (plutôt que sur la
notion d'instructions)
●À évaluation stricte
–les paramètres d'une fonction sont évalués avant
l'appel de la fonction
–exemple : pour calculer f(3+2), on calcule d'abord
3+2, puis f(3+2)

Université Blaise Pascal
1. Caractéristiques de Caml
●Fortement typé
–les types sont vérifiés pour éviter les ambiguités
–par exemple, quand on ajoute deux nombres, on
doit savoir si ces nombres sont des entiers ou des
réels
●À inférence de types
–les types sont déduits