Résumé du chapitre 11

  Définitions locales

Définitions Locales

L'intérêt de l'utilisation de définitions locales est :

• d'éviter de répéter plusieurs fois un même calcul,
• d'accroitre la lisibilité du code en remplaçant judicieusement une expression compliquée par un symbole.

Les liaisons locales apparaissent dans un environnement local qui n'est créé que pour la durée de l'évaluation de l'expression les contenant. Les liaisons locales ont toujours priorité sur les liaisons globales, il y a masquage du global par le local.

let et let*

La syntaxe est la suivante :

où

• une liaison est une liste de deux éléments, le premier est l'identificateur de la variable locale créée, le second est l'expression dont la valeur est liée à cette variable locale. Une liaison est donc de la forme (var_i expression_i)

et la liste de liaisons de la forme : ( (var_1 expression_1) (var_n expression_n) ).

• expression est une expression quelconque, appelée aussi corps de l'expression let. Normalement, expression utilise les variables définies dans les liaisons.

L'évaluation se déroule ainsi : dans le cas du let, toutes les expression expression_i sont évaluées dans l'environnement englobant avant liaison avec les identificateurs, alors que dans le cas du let*, les liaisons sont effectuées séquentiellement dans l'environnement englobant qu'elles complètent aussitôt. L'évaluation de l'expression constituant le corps du let/let* se fait ensuite dans l'environnement ainsi obtenu. L'environnement englobant n'est pas modifié.

Définition locale de fonctions

Pour définir une liaison localement à une fonction f, il suffit de placer la définition de la liaison (fonctionnelle ou non) entre la partie ``(lambda (...)'' et le corps de la fonction f :

L'identificateur g n'est pas visible au niveau englobant.