Cours No 5 : Listes - Symboles - Calcul Symbolique 11 Types

Universit´e Montpellier-II
UFR des Sciences - D´epartement Informatique - Licence Informatique
UE GLIN302 - Programmation Applicative et R´ecursive
Cours No 5 : Listes - Symboles - Calcul Symbolique
Notes de cours - 2007-2012
11 Types structur´es
Type structur´e : type dont les ´el´ements sont des aggr´egats de donn´ees.
1

11.1 Types structur´es primitifs
•Paire : aggr´egat de deux donn´ees accessibles par leur position (premi`ere ou
seconde).
•Tableau : aggr´egat d’un nombre quelconque pr´ed´efini de donn´ees g´en´eralement
homog`enes (tableau d’entiers) accessibles via un index.
•Enregistrement (record) : aggr´egat de donn´ees g´en´eralement h´et´erog`enes
accessibles via un nom. Exemple, une personne est un aggr´egat d’un nom, d’un
pr´enom (chaˆıne), d’un age (int), etc.
•Sac : collection quelconque non ordonn´ee
•Ensemble : collection quelconque sans ordre ni r´ep´etition.
•S´equence - Liste : collection ordonn´ee soit par l’ordre d’insertion par une
relation entre les ´el´ements.
2

11.2 Les paires (doublets) en Scheme
Pair (paire) ou Cons est le type structur´e de base.
Une paire, ´egalement dit “cons” (prononcer “conce”) ou doublet est un aggr´egat de
deux donn´ees.
Exemple d’utilisation : repr´esentation d’un nombre rationnel, aggr´egation d’un
num´erateur d’un d´enominateur.
Notation : “(el1 . el2)”.
3

Fonctions de construction :
1. cons
1(cons 1 2)
2= (1 . 2)
4(cons (+ 1 2) (+ 2 3))
5= (3 . 5)
4

Fonctions d’acc`es :
1. car acc`es au premier ´el´ement.
1(car (cons 1 2))
2= 1
2. acc`es au second ´el´ement : cdr
1(cdr (cons 1 2))
2= 2
5