Oui cela revient à ce que tu dis. Sauf qu'en général, cela ne touche pas les conteneurs, les string par exemple.
Pour moi la spécialisation, revient à pouvoir faire plusieurs version de la même fonction selon le type réel utilisé. Ocaml et c++ m'ont convaincu que c n'était pas forcément la meilleur approche car la taille du code peut exploser. C'est plus simple de pouvoir faire de l'inlining dans les fonctions qui utilisent ces fonctions génériques.
à priori f-lambda peut traiter ce genre d'optimisation ?
[^] # Re: optimisation et propagation de constante
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche OCaml 4.06 et 4.07. Évalué à 4. Dernière modification le 14 décembre 2018 à 16:03.
Oui cela revient à ce que tu dis. Sauf qu'en général, cela ne touche pas les conteneurs, les string par exemple.
Pour moi la spécialisation, revient à pouvoir faire plusieurs version de la même fonction selon le type réel utilisé. Ocaml et c++ m'ont convaincu que c n'était pas forcément la meilleur approche car la taille du code peut exploser. C'est plus simple de pouvoir faire de l'inlining dans les fonctions qui utilisent ces fonctions génériques.
à priori f-lambda peut traiter ce genre d'optimisation ?
"La première sécurité est la liberté"