C'est un peu approximatif! OCaml fait de l'inlining inter-module — des fois il faut motiver le compilateur en ajustant son "agressivité" — et cela me suprprend un peu de voir qu'il ne fait pas du unfolding de boucles — mais peut-être qu'il faut motiver un peu le compilateur en stimulant son agressivité.
Si je me souviens bien, le compilateur optimise la taille du programme plutôt que la "vitesse" et je mets des guillemets sur "vitesse" parceque l'inlining et l'unfolding ne sont que spéculativement des optimisation en vitesse, qui sont parfois contredites par l'expérience. L'optimisation en taille est en revanche faite face à un critère complètement objectif.
[^] # Re: Plutôt beauté du design
Posté par Michaël (site web personnel) . En réponse au journal "beauté du code". Évalué à 3.
C'est un peu approximatif! OCaml fait de l'inlining inter-module — des fois il faut motiver le compilateur en ajustant son "agressivité" — et cela me suprprend un peu de voir qu'il ne fait pas du unfolding de boucles — mais peut-être qu'il faut motiver un peu le compilateur en stimulant son agressivité.
Si je me souviens bien, le compilateur optimise la taille du programme plutôt que la "vitesse" et je mets des guillemets sur "vitesse" parceque l'inlining et l'unfolding ne sont que spéculativement des optimisation en vitesse, qui sont parfois contredites par l'expérience. L'optimisation en taille est en revanche faite face à un critère complètement objectif.