Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox

héritage // polymorphisme Envelope param. template // _ _ _ Envelope〈Zp〉 instanc. // _ _ _ Envelope〈Zp〉 E2(2) ; Archetype // _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ instanciation Archetype A2(&E2) ; Figure 2. Un diagramme DML pour l’architecture des corps dans LINBOX, avec une enveloppe à héritage Il apparaît clairement que la différence entre les deux diagrammes est l’instanciation du corps . En effet, la construction du corps n’est plus requise, elle est faite automatiquement pendant la construction de l’enveloppe. La figure 2 montre qu’il est encore possible d’instancier si c’est utile ailleurs, mais maintenant c’est fait automatiquement lors de la construction de l’enveloppe. La construction des archétypes et des enveloppes en LINBOX découle de particularités de C++ et de la volonté de conserver une efficacité maximale. Néanmoins, cet effort de conciliation de généricité et d’efficacité semble mener pour tout language à un ensemble d’objets ou de modules interagissants de manière complexe. Un autre exemple est le logiciel de topologie algébrique de F. Sergeraert, écrit en Common Lisp [RUB 98, LAM 03].