Interface OCaml C

Bonjour,

j'aurais voulu avoir quelques éclaircissements sur la syntaxe suivante :

Code:

---

1 2 3

value mydiv x y = if x >= 0 then x / y else (x - y + 1) / y; value sdn_offset = 1721119;

---

Je suppose que c'est pour interfacer du C et du Caml, mais ça n'a rien a voir avec les différents code que j'ai pu trouvé sur internet.

Est-ce que quelqu'un pourrait éclairer ma lanterne ?

EDIT :
Un bout de code de la liste avec la même syntaxe :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17

(* Space coordinates *) value upper_size = 1.5; value lower_size = -1.5; value left_size = -1.5; value right_size = 1.5;   value init_gl width height = do { GlDraw.viewport ~x:0 ~y:0 ~w:width ~h:height; GlClear.color (0.0, 0.0, 0.0) ~alpha:0.0; GlClear.clear [`color; `depth]; GlDraw.shade_model `smooth; GlMat.load_identity ();   GlClear.color (0.1, 0.3, 0.1); GlDraw.shade_model `smooth; };

---

EDIT 2 : il semblerait que ce soit la syntaxe corrigée : http://caml.inria.fr/pub/docs/manual...manual007.html
Si quelqu'un peut confirmer ?

Oui, c'est la syntaxe révisée.

OK merci.

Une question un peu con que je me pose, quelqu'un pourrait me dire l'avantage et si ça se fait souvent d'écrire "tout" un programme que en utilisant camlp4 (ou son successeur) ?

Et si non, quelles parties d'un programme ont un avantage à utiliser camlp4 plutôt que "juste" OCaml ?

Et aussi, y a t-il un quelconque avantage/simplicité pour l'interfacer avec du C ?

Merci pour vos éclaircissements !

Aucun, c'est une question de préférence personelle. La syntaxe révisée corrige certains des défauts de la syntaxe classique OCaml. En pratique peu de gens l'utilisent parce que cela complique la compilation (il faut inclure Camlp4 un peu partout) et ça ne s'arrange pas toujours bien avec le reste de l'écosystème (par exemple ocamldoc et camlp4 interagissent très mal), donc ça reste une minorité.

La syntaxe révisée est moins ambiguë que la syntaxe standard, donc elle est plus adaptée si on veut utiliser une syntaxe concrète pour décrire des bouts d'AST OCaml. Elle est donc souvent utilisée dans les "quotations" Camlp4 quand on manipule du code OCaml avec camlp4. Pour les mêmes raisons que plus haut, camlp4/camlp5 sont assez impopulaires en pratique, donc ça reste un outil minoritaire.

La sémantique est exactement la même que la syntaxe classique, donc ça ne change absolument rien pour l'interface OCaml/C.

Merci beaucoup pour ces compléments d'informations très utiles !