Discussion :

[Jedai]

Les objets en Caml ne conservent aucune information sur leur types, sauf dans certains cas rares comme les fonctions, les objets dont la fonction de linéarisation est faite directement par le programmeur, etc... Mais dans les autres cas, il n'y a aucune information, mis à part la place que ça prend en mémoire.

Tu as raison, il faut rajouter un paramètre :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

string -> type -> 'a

Sous Haskell ce paramètre est fourni automatiquement par la Typeclass Typeable (ce qui évite également que 'a et le type ne s'accorde pas), mais sous OCaml tu es obligé de le fournir également, à moins que le préprocesseur ne puisse faire ça ? A-t-il les informations nécessaires ?

--
Jedaï

[gasche]

Non, le préprocesseur est purement syntaxique et entre en action avant la phase de typage, il n'a donc pas accès aux types (même si on pourrait peut-être hacker quelque chose en utilisant les fichiers .annot décrivant les types des expressions, créés par une compilation précédente du programme). Sans vouloir donner l'impression d'insister lourdement, l'outil qui permet de travailler sur des quotations d'expressions OCaml typées, et de les évaluer, c'est MetaOCaml.

[LLB]

Merci Bluestorm, je vais voir ce que je peux faire avec un tit parseur fait maison.

Dans les défis fonctionnels, il y a plusieurs exemples.

Tu peux aussi faire appel à une bibliothèque (par exemple, embarquer l'interpréteur Lua) ou exécuter un programme externe : un shell, bc, Python, Caml, ce que tu veux. Tu pourras ainsi utiliser des expressions complexes, sans avoir à recoder quoi que ce soit. À toi de voir selon les besoins.