Types produits et types sommes en CaML - INFO-MPSI

Types produits et
types sommes en CaML
Option Info - MPSI 2016
Types produits et types sommes en CaML

Les types prédéfinis de CaML
Types non paramétrés :
1int
2float
3bool
4char
5string
6unit
Types produits et types sommes en CaML

Les types prédéfinis de CaML
Types paramétrés :
1’a →’b
2’a ref
3’a vect
4’a list
5’a * ’b
Types produits et types sommes en CaML

Créer de nouveaux types de données
1Types produit
Encapsulation d’informations (éventuellement
hétérogènes) au sein d’une même valeur
Exemple : un étudiant de CPGE ...
nom (string), age (int), 3/2 (bool)
2Types somme
Modélisation de données dont la structure est
alternative
Exemple : un nombre ...
entier (int) ou bien décimal (float)
Types produits et types sommes en CaML

Le type produit “nombre complexe”
type cplx = {re : float; im : float};;
Le type cplx est défini.
let z = {re = 1.3; im = 2.5};;
z : cplx = {re = 1.3; im = 2.5}
Accès en lecture aux champs d’un enregistrement :
z.re;;
- : float = 1.3
z.im;;
- : float = 2.5
Types produits et types sommes en CaML