monomorphiser

Définitions

1. 1. informatique 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 laquelle 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.
   Il est toujours possible de monomorphiser le code incriminé, soit de façon manuelle soit de façon automatique.
   Enfin, le programme est ensuite monomorphisé : il s’agit du langage SXML.

Formes fléchies