En fait le problème principal réside dans le mapping données Caml <--> données CLR, notamment à cause du polymorphisme paramétrique (= généricité) de Caml. L'autre difficulté vient du sous-typage Caml qui est structurel et non pas pas noms.
Cf mailing-list Caml pour plein de posts à ce sujet.
Ça n'empêche pas qu'il est possible d'effectuer la compilation mais le code obtenu est d'une efficacité moyenne.
[^] # Re: Mozilla souhaite s'allier à d'autres projet Libres pour faire face à MS-Longhorn
Posté par Anaximandre . En réponse à la dépêche Mozilla souhaite s'allier à d'autres projet Libres pour faire face à MS-Longhorn. Évalué à 1.
Cf mailing-list Caml pour plein de posts à ce sujet.
Ça n'empêche pas qu'il est possible d'effectuer la compilation mais le code obtenu est d'une efficacité moyenne.