monomorphiser

Français

Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici.

monomorphiser \mɔ.no.mɔʁ.fi.ze\ transitif 1^er groupe (voir la conjugaison)

(Programmation) Pour un compilateur, convertir une fonction polymorphe en une fonction monomorphe, par la création d’une fonction spécialisée pour chaque type de données différent avec lequel elle est appelée.
- L’une des choses qui rend les itérateurs et les futurs de Rust (même avant async/await) si bons est que les types concrets réels vers lesquels vous monomorphisez statiquement votre code sont très imbriqués et très complexes - cette monomorphisation est ce qui permet à llvm d’effectuer des optimisations insensées et transformez-les en abstractions (souvent) gratuites. — (Commentaire sur Pourquoi exactement ne pouvez-vous pas toujours effectuer une répartition statique dans Rust, pourquoi une répartition dynamique est-elle parfois nécessaire ?, www.reddit.com, 9 mars 2022)
- Il est toujours possible de monomorphiser le code incriminé, soit de façon manuelle soit de façon automatique. — (Bruno Pagano et al., Couverture de code Caml pour la réalisation d’outils de développement certifiés, Journées Francophones des Langages Applicatifs– JFLA07, janvier 2007)
- Enfin, le programme est ensuite monomorphisé : il s’agit du langage SXML. — (Pierrick Couderc, Vérification des résultats de l’inférence de types du langage OCaml, Université Paris Saclay (COmUE), 2018. Français. NNT : 2018SACLY018. tel-02100717, page 17)

Cette page utilise des informations de l’article du Wiktionnaire en anglais, sous licence CC BY-SA 4.0 : monomorphisation. (liste des auteurs et autrices)