Posté par kantien .
En réponse à la dépêche OCaml 4.06 et 4.07.
Évalué à 2.
Dernière modification le 30 novembre 2018 à 12:41.
Qu'en pensez-vous ?
Que je ne suis pas sur d'avoir compris ta question. Ce que tu demandes ressemble fort à de la spécialisation de code à la compilation, c'est à dire de l'évaluation partielle ou inlining (qui ne se limite pas à de la propagation de constante littérale) et que c'est ce que fait f-lambda.
Quand tu passes de (fun x y -> x + y) 2 à (fun y -> 2 + y), tu fais une étape de béta-réduction, c'est-à-dire que tu exécutes le code, mais tu peux faire cela avec n'importe quelle expression du langage (pas simplement une constante comme 2) et c'est de la spécialisation de code par inlining.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: optimisation et propagation de constante
Posté par kantien . En réponse à la dépêche OCaml 4.06 et 4.07. Évalué à 2. Dernière modification le 30 novembre 2018 à 12:41.
Que je ne suis pas sur d'avoir compris ta question. Ce que tu demandes ressemble fort à de la spécialisation de code à la compilation, c'est à dire de l'évaluation partielle ou inlining (qui ne se limite pas à de la propagation de constante littérale) et que c'est ce que fait f-lambda.
Quand tu passes de
(fun x y -> x + y) 2à(fun y -> 2 + y), tu fais une étape de béta-réduction, c'est-à-dire que tu exécutes le code, mais tu peux faire cela avec n'importe quelle expression du langage (pas simplement une constante comme2) et c'est de la spécialisation de code par inlining.Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.