J'ai l'impression que ce que tu demandes est déjà disponible via un système d'optimisation de code nommé f-lambda. Une fois activé, cela parcours tout le code pour rechercher les optimisations possibles au niveau des appels de fonction, les inliner, etc
[^] # Re: optimisation et propagation de constante
Posté par chimrod (site web personnel) . En réponse à la dépêche OCaml 4.06 et 4.07. Évalué à 2.
J'ai l'impression que ce que tu demandes est déjà disponible via un système d'optimisation de code nommé f-lambda. Une fois activé, cela parcours tout le code pour rechercher les optimisations possibles au niveau des appels de fonction, les inliner, etc