“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 81 — #91
i
i
i
i
i
i
i
i
2.6 Du langage noyau au langage pratique
81
2.6 DU LANGAGE NOYAU AU LANGAGE PRATIQUE
Le langage noyau contient tous les concepts nécessaires pour la programmation déclarative, mais il est trop minimaliste pour la programmation pratique. Ses programmes
sont simplement trop verbeux. La plupart de cette verbosité peut être éliminée avec
l’addition judicieuse du sucre syntaxique et des abstractions linguistiques.
– La section 2.6.1 définit un ensemble de commodités syntaxiques pour obtenir
une syntaxe plus succincte et lisible.
– La section 2.6.2 définit une abstraction linguistique importante, la fonction, qui
est utile pour la programmation succincte et lisible.
– La section 2.6.3 associe les interfaces interactives du Labo interactif et du système
Mozart au modèle déclaratif. Cela introduit l’instruction declare, qui est une
variation de l’instruction local ciblée pour l’utilisation interactive.
Le langage résultant est utilisé dans le chapitre 3 pour l’étude des techniques de
programmation du modèle déclaratif.
2.6.1 Les commodités syntaxiques
Le langage noyau définit une syntaxe simple pour toutes ses propres constructions et
types. Le langage complet ajoute du sucre syntaxique pour faciliter l’usage :
– Les valeurs partielles imbriquées peuvent être écrites de manière concise.
– Les variables peuvent être déclarées et initialisées en une fois.
– Les expressions peuvent être écrites de manière concise.
– Les instructions if et case peuvent être imbriquées de manière concise.
– Les opérateurs andthen et orelse sont définis pour les instructions if imbriquées.
– Les instructions peuvent devenir des expressions avec une balise d’insertion
« $ ».
Les symboles non terminaux utilisés dans la syntaxe et la sémantique noyau correspondent à la syntaxe complète selon le tableau suivant :
Syntaxe noyau Syntaxe complète
x, y, z
variable
s
statement, stmt
Les valeurs partielles imbriquées
Dans le tableau 2.2, la syntaxe des enregistrements et formes implique que leurs arguments sont des variables. En pratique, beaucoup de valeurs partielles sont imbriquées
plus profondément. Étant donné que les valeurs imbriquées sont très fréquentes, nous
© Dunod – La photocopie non autorisée est un délit
i
i
i
i
i
i
i
i
2.6 Du langage noyau au langage pratique
81
2.6 DU LANGAGE NOYAU AU LANGAGE PRATIQUE
Le langage noyau contient tous les concepts nécessaires pour la programmation déclarative, mais il est trop minimaliste pour la programmation pratique. Ses programmes
sont simplement trop verbeux. La plupart de cette verbosité peut être éliminée avec
l’addition judicieuse du sucre syntaxique et des abstractions linguistiques.
– La section 2.6.1 définit un ensemble de commodités syntaxiques pour obtenir
une syntaxe plus succincte et lisible.
– La section 2.6.2 définit une abstraction linguistique importante, la fonction, qui
est utile pour la programmation succincte et lisible.
– La section 2.6.3 associe les interfaces interactives du Labo interactif et du système
Mozart au modèle déclaratif. Cela introduit l’instruction declare, qui est une
variation de l’instruction local ciblée pour l’utilisation interactive.
Le langage résultant est utilisé dans le chapitre 3 pour l’étude des techniques de
programmation du modèle déclaratif.
2.6.1 Les commodités syntaxiques
Le langage noyau définit une syntaxe simple pour toutes ses propres constructions et
types. Le langage complet ajoute du sucre syntaxique pour faciliter l’usage :
– Les valeurs partielles imbriquées peuvent être écrites de manière concise.
– Les variables peuvent être déclarées et initialisées en une fois.
– Les expressions peuvent être écrites de manière concise.
– Les instructions if et case peuvent être imbriquées de manière concise.
– Les opérateurs andthen et orelse sont définis pour les instructions if imbriquées.
– Les instructions peuvent devenir des expressions avec une balise d’insertion
« $ ».
Les symboles non terminaux utilisés dans la syntaxe et la sémantique noyau correspondent à la syntaxe complète selon le tableau suivant :
Syntaxe noyau Syntaxe complète
x, y, z
variable
s
statement, stmt
Les valeurs partielles imbriquées
Dans le tableau 2.2, la syntaxe des enregistrements et formes implique que leurs arguments sont des variables. En pratique, beaucoup de valeurs partielles sont imbriquées
plus profondément. Étant donné que les valeurs imbriquées sont très fréquentes, nous
© Dunod – La photocopie non autorisée est un délit