Une approche modulaire de l'initialisation d'objets pour Pharo

Abstract

La modularité du code favorise la réutilisation. Les concepteurs de langages de programmation se sont principalementconsacrés à la modularité des méthodes. À l’inverse, la modularité du code d’initialisation a souvent été négligé. Le coded’initialisation de beaucoup de langages orientés objets à classe est laborieux dans plusieurs cas: par exemple, quandquelques champs (i.e., variables d’instances) ont plusieurs options d’initialisation (e.g., un rectangle peut être initialisé avecdes coordonnées Cartésiennes ou polaires), ont une initialisation optionnelle (e.g., un rectangle peut être positionné à unecoordonnée fournie ou à l’origine (0,0) si aucune coordonnée n’est fournie) ou héritent d’une initialisation de la super classe(e.g., un rectangle coloré doit redéfinir tous les constructeurs de sa super classe pour ajouter la notion de couleur). Dans detelles circonstances, le nombre de constructeurs augmente exponentiellement avec les options d’initialisation car l’approched’initialisation manque de modularité.Nous proposons une approche d’initialisation novatrice s’inspirant du langage prototypique Magda. Cette approche est baséesur des modules d’initialisation composables plus petits que les constructeurs classiques. De plus, le nombre de ces modulesaugmente linéairement avec les options d’initialisation. Nous appliquons cette approche à Pharo, un langage orienté objetsdynamiquement typé inspiré de Smalltalk. L’adaptation à Pharo de l’approche d’initialisation de Magda implique la résolutionde nouveaux défis issus du passage d’un contexte statiquement typé à un contexte dynamique.