Langages fonctionnels non-stricts: De la paresse et de l'indulgence
Qu'est-ce qu'un langage fonctionnel non-strict? Qu'est-ce qu'un
langage paresseux? Un langage non-strict est-il nécessairement
paresseux? Dans cet article, nous tentons d'apporter des
éléments de réponse à ces questions. Dans
un premier temps, une présentation informelle des divers modes
d'évaluation (strict, indulgent, paresseux) est faite. Ensuite
nous examinons, par le biais de divers petits exemples, certaines des
différences entre évaluation non-stricte mais
non-paresseuse et évaluation paresseuse. Finalement, nous
présentons un modèle opérationnel (en LOTOS)
permettant de mieux comprendre les différences entre les divers
modes d'évaluation. Ce modèle, qui utilise une approche
d'évaluation entièrement parallèle, permet de
bien saisir les caractéristiques particulières de
l'évaluation indulgente lorsque mise en oeuvre de façon parallèle.
Pour obtenir la version postscript
Cliquez ici pour obtenir la version postscript.