Je suis d'accord que metaocaml a fait un gros effort d'unification du langage.
Mais il ne me semble pas qu'une lib metaocaml soit utilisable avec un code ocaml.
Je ne vois toujours pas pourquoi il est absolument nécessaire pour l'utilisateur d'indiquer tous les bouts de code à exécuter à la compilation, et ne pas le déduire de l'usage des constantes.
Le fait même de devoir utiliser un code spécifique empêche toute réutilisation du code "normal" pour son usage à la compilation.
[^] # 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.
Je suis d'accord que metaocaml a fait un gros effort d'unification du langage.
Mais il ne me semble pas qu'une lib metaocaml soit utilisable avec un code ocaml.
Je ne vois toujours pas pourquoi il est absolument nécessaire pour l'utilisateur d'indiquer tous les bouts de code à exécuter à la compilation, et ne pas le déduire de l'usage des constantes.
Le fait même de devoir utiliser un code spécifique empêche toute réutilisation du code "normal" pour son usage à la compilation.
"La première sécurité est la liberté"