Résumé
Ce chapitre a montré les différentes passes des compilateurs
Objective CAML. Le compilateur de byte-code favorise la portabilité
du code binaire et permet donc de distribuer des bibliothèques sous
ce format-là. Cette propriété est perdue dans le cas
d'exécutables autonomes. Le compilateur natif privilégie
l'efficacité du code produit en perdant aussi la portabilité. Dans
ce cas, la production d'exécutables autonomes ne change pas la perte
de portabilité.