“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 108 — #118
i
i
i
i
i
i
i
i
108
3
• Techniques de programmation déclarative
fonction qui fait référence directement ou indirectement à la fonction originale. La
programmation d’ordre supérieur veut dire que les fonctions peuvent avoir d’autres
fonctions comme arguments et comme résultats. Cette capacité sous-tend toutes les
techniques pour construire les abstractions que nous montrerons dans ce livre. L’ordre
supérieur peut compenser partiellement le manque d’expressivité du modèle déclaratif.
Il facilite la programmation des formes limitées de concurrence et d’état au sein du
modèle déclaratif.
La structure du chapitre
Ce chapitre explique comment écrire des programmes déclaratifs pratiques. Il est
divisé en huit parties qui couvrent les sujets montrés dans la figure 3.2. La section 3.1
définit le concept de « déclarativité ». Les sections 3.2, 3.3 et 3.4 font un survol des
techniques de programmation (les calculs récursifs et itératifs). Les sections 3.5 et 3.6
complètent ce survol (les abstractions et l’efficacité). La section 3.7 explique comment un programme déclaratif interagit avec le monde extérieur (les besoins non
déclaratifs). La section 3.8 explique la programmation à petite échelle : comment
organiser la conception de programmes. Enfin, nous donnons quelques conclusions
sur les limitations du modèle déclaratif (voir section 4.4 dans le chapitre 4).
La conception de programmes
Procédurale
De données
L’abstraction de contrôle
Les types de données abstraits
Programmer
La programmation avec les listes et les arbres
Qu’est−ce que c’est que la déclarativité?
avec la récursion
Le calcul itératif et récursif
Les limitations et les extensions
L’efficacité en temps et espace
Le monde réel
Le modèle
L’abstraction
La définition
Les besoins non déclaratifs
Figure 3.2 Les sujets couverts par ce chapitre.
i
i
i
i
i
i
i
i
108
3
• Techniques de programmation déclarative
fonction qui fait référence directement ou indirectement à la fonction originale. La
programmation d’ordre supérieur veut dire que les fonctions peuvent avoir d’autres
fonctions comme arguments et comme résultats. Cette capacité sous-tend toutes les
techniques pour construire les abstractions que nous montrerons dans ce livre. L’ordre
supérieur peut compenser partiellement le manque d’expressivité du modèle déclaratif.
Il facilite la programmation des formes limitées de concurrence et d’état au sein du
modèle déclaratif.
La structure du chapitre
Ce chapitre explique comment écrire des programmes déclaratifs pratiques. Il est
divisé en huit parties qui couvrent les sujets montrés dans la figure 3.2. La section 3.1
définit le concept de « déclarativité ». Les sections 3.2, 3.3 et 3.4 font un survol des
techniques de programmation (les calculs récursifs et itératifs). Les sections 3.5 et 3.6
complètent ce survol (les abstractions et l’efficacité). La section 3.7 explique comment un programme déclaratif interagit avec le monde extérieur (les besoins non
déclaratifs). La section 3.8 explique la programmation à petite échelle : comment
organiser la conception de programmes. Enfin, nous donnons quelques conclusions
sur les limitations du modèle déclaratif (voir section 4.4 dans le chapitre 4).
La conception de programmes
Procédurale
De données
L’abstraction de contrôle
Les types de données abstraits
Programmer
La programmation avec les listes et les arbres
Qu’est−ce que c’est que la déclarativité?
avec la récursion
Le calcul itératif et récursif
Les limitations et les extensions
L’efficacité en temps et espace
Le monde réel
Le modèle
L’abstraction
La définition
Les besoins non déclaratifs
Figure 3.2 Les sujets couverts par ce chapitre.