La notion de coupleur statique [RPJ94] (voir les travaux de recherche effectués) semble la forme de méta-composition qui se rapproche le plus des techniques employées dans la communauté fonctionnelle (notion de foncteur). Il serait donc intéressant d'étudier plus précisément ce rapprochement. Grâce à la propriété de compilation séparée du coupleur statique, notre approche serait un moyen de proposer une librairie de fonction déjà optimisées comme dans l'approche décrite dans [JJ97].