Résumé du chapitre 3

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 tex2html_wrap_inline958 désigne le produit cartésien des types A et B.

Le type tex2html_wrap_inline964 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é.

Citation

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 :

displaymath970

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''.


next up previous
Next: Résumé du chapitre 4Up: No Title Previous: Résumé du chapitre 2

Eric.Wegrzynowski
Thu Mar 20 13:58:10 MET 1997