désigne le produit cartésien des types A et B.
Types
Un type est la donnée d'un ensemble de valeurs et d'opérateurs les manipulant.
Nous rencontrerons plus particulièrement les types Booleen, Entier, Reel, Nombre, Chaine, Symbole, Liste et Arbre. Le type Objet est la réunion de tous ces types.
Les calculs sur le type Entier sont exacts, ceux sur le type Reel sont inexacts.
Le type
désigne le produit cartésien des types A et B.
Le type 
représente le type d'une fonction dont les arguments sont de type
A et le résultat de type B.
Un prédicat de type est une fonction à valeur booléenne permettant de tester si un objet est du type donné.
Il est possible d'empêcher l'évaluation d'une expression en lui appliquant une fonction spéciale appelée quote.
La spécification de la fonction quote est donc simplement :
Cette fonction étant souvent utilisée, son appel peut être abrégé à l'aide du caractère spécial `` ' '' (appelé simplement `` quote''). On s'autorise alors à parler d'``expression quotée''.
