Non, je parlais du fait général de compiler les génériques/templates (et de comprendre/expliquer leur comportement) en remplaçant l'instantiation d'une template par son code (au lieu de pouvoir raisonner de façon plus légère sur des fonctions polymorphes, etc.; comment définir des génériques ou leurs instances localement, en profondeur dans la définition d'une fonction ?). Ada ne permet pas la spécialisation conditionnelle dont tu parles. Peut-être tant mieux, car ça rend la fonctionnalité drôlement compliquée, ce qui n'est pas terrible pour un langage orienté sûreté; en contrepartie on perd certains usages utiles de la méta-programmation (quand on a en plus l'expansion récursive), mais bon il faut bien s'arrêter un jour.
[^] # Re: Mes idéaux
Posté par gasche . En réponse au journal Votre langage idéal ?. Évalué à 3.
Non, je parlais du fait général de compiler les génériques/templates (et de comprendre/expliquer leur comportement) en remplaçant l'instantiation d'une template par son code (au lieu de pouvoir raisonner de façon plus légère sur des fonctions polymorphes, etc.; comment définir des génériques ou leurs instances localement, en profondeur dans la définition d'une fonction ?). Ada ne permet pas la spécialisation conditionnelle dont tu parles. Peut-être tant mieux, car ça rend la fonctionnalité drôlement compliquée, ce qui n'est pas terrible pour un langage orienté sûreté; en contrepartie on perd certains usages utiles de la méta-programmation (quand on a en plus l'expansion récursive), mais bon il faut bien s'arrêter un jour.