Accéder à des fichiers externes en OCAML

**ManusDei** · 05/02/2010, 11h34

Bonjour,

dans le cadre de mon stage, je réfléchis à l'utilisation de OCAML pour tout ce qui pourra ressembler à du code (mon tuteur semble aimer l'OCAML ^^).

J'ai un peu du mal à utiliser le manuel sur le site de CAML
(C'est là et il n'y a rien d'autres non ?)

Donc Au secours !

Ma question est la suivante.
Je vais probablement devoir développer un programme utilisant des bibliothèques externes, qui seront définies par les utilisateurs en fonction de leurs besoins (bref ils vont en rajouter plein longtemps après la fin de mon stage). Donc est-il possible de lister les fichiers d'un répertoire (ls ou dir), que le programme chargerait dynamiquement à chaque exécution ? Et si oui, c'est dans quel module ?

**asefthukom** · 05/02/2010, 12h11

Bonjour,

je ne suis pas sûr d'avoir pleinement saisi ce que tu souhaites faire, mais voilà au moins une partie de la réponse :

Pour lister des fichiers et faire tout les manipulations dessus (ecrire, lire ...) tu peux utiliser le module Unix.
http://caml.inria.fr/pub/docs/manual...manual035.html

Envoyé par : ManusDei
que le programme chargerait dynamiquement à chaque exécution ?

c'est cette partie là que je ne comprends pas.

**ManusDei** · 05/02/2010, 12h24

En fait les bibliothèques sont codées par l'utilisateur, et il doit rajouter les bibliothèques au programme.

Pour simplifier ça, je pense faire un dossier "bibliothèque", et donc à chaque lancement du programme, il va falloir que le programme liste les fichiers dans le dossier bibliothèque, pour que l'utilisateur choisisse celle qu'il veut utiliser.

Merci pour la réponse, je vais regarder en détail

**asefthukom** · 05/02/2010, 13h08

Bonjour,

Désolé je crois que je n'ai toujours pas compris ! Si le programme doit faire des opérations sur les fichiers, alors le module Unix est ton ami.

Ce que j'ai cru comprendre :
- les utilisateurs codent des librairies qui seront utilisées par ton programme.
-> ce sera donc des modules appelés dans ton programme par Module.maFonction
- tu veux lister ces modules ? -> ok mais pour en faire quoi ? il faudra les charger explicitement dans ton programme.

Donc l'utilisateur qui code sa librairie, rajoute dans ton programme son module, et rajoute aussi dans ton programme les fonctions qu'il veut utiliser... en gros un projet développé par plusieurs personne ?

Si j'ai compris de travers, désolé ^^

**Cacophrene** · 05/02/2010, 13h28

Bonjour !

Pour lister le contenu d'un répertoire : Sys.readdir. Pour charger dynamiquement des modules OCaml dans une application elle-même écrite en OCaml, voir le module Dynlink, accessible en bytecode et en natif sur certaines plateformes. Un exemple :

Code :

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

1
2
3
4
5
6
7
(* Renvoie toutes les bibliothèques disponibles. *)
let get_available_libraires () = 
  Array.to_list (Sys.readdir "my-application/my-ocamllib")

(* Charge la liste des bibliothèques sélectionnées. *)
let load_libraries = List.iter Dynlink.loadfile

Cordialement,
Cacophrène

**ManusDei** · 05/02/2010, 14h26

Va falloir que je détaille plus en fait, je me rend compte que je suis pas très clair.

Sur le projet, j'ai un certain nombre de chercheurs qui vont vouloir créer des bases de données et y accéder, mais ils n'utilisent pas tous les mêmes langages de programmation (et il ont pas envie d'en apprendre de nouveaux).
Pour cela, ils créent une feuille de style, qui décrit la base de données, et pouf, on génère le code, et des fonctions pour accéder aux données (le tout sera en réseau, j'ai une gestion des droits à faire).

Il s'agit donc d'un programme d'aide à la création de bases de données, qui à partir d'un modèle de donnée abstrait, doit générer un code dans un langage au choix, ainsi que différents accesseurs, et des fonctions sur les données.

Bref, pour en revenir à ma question, il vont devoir décrire leur modèle de données dans un langage particulier (proche du XML), ensuite je passe ça dans un parser OCAML, qui ressort le code dans le langage choisit (Java, XML, OCAML, etc...).

Chaque modèle de données, représenté par un fichier, doit être réutilisable à loisir

Donc il faut que je puisse proposer à l'utilisateur de choisir un modèle de données parmi les fichiers présents (chaque modèle est dans un fichier différent).

Donc ma question est :
Y a t'il une bibliothèque OCAML permettant de lister les fichiers d'un repertoire (renvoyant je suppose un résultat sous forme de liste), et une bibliothèque permettant de lire des fichiers (il me semble que Dynlink ne fonctionne qu'avec des fichiers .cma ou .cmi).

PS : Merci, ça répond vite et clair ici ^^

**asefthukom** · 05/02/2010, 15h29

Bonjour,

Une fois n'est pas coutume, ce ne sera pas Cacophrene qui le dira mais "il faut lire le manuel" (même si tu as dit que tu ne comprenais pas comment il marche).

Envoyé par ManusDei
Donc ma question est :
Y a t'il une bibliothèque OCAML permettant de lister les fichiers d'un repertoire (renvoyant je suppose un résultat sous forme de liste),

Envoyé par Cacophrene
Pour lister le contenu d'un répertoire : Sys.readdir

Code :

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

1
2
3
(* Renvoie toutes les bibliothèques disponibles. *)
let get_available_libraires () = 
  Array.to_list (Sys.readdir "my-application/my-ocamllib")

Le manuel OCAML:
val readdir : string -> string array

Return the names of all files present in the given directory. Names denoting the current directory and the parent directory ("." and ".." in Unix) are not returned. Each string in the result is a file name rather than a complete path. There is no guarantee that the name strings in the resulting array will appear in any specific order; they are not, in particular, guaranteed to appear in alphabetical order.

Envoyé par ManusDei
et une bibliothèque permettant de lire des fichiers

module Unix du manuel: par exemple
val read : file_descr -> string -> int -> int -> int

read fd buff ofs len reads len characters from descriptor fd, storing them in string buff, starting at position ofs in string buff. Return the number of characters actually read.

et les classiques open_in; input_line ... du module Pervasives :
http://caml.inria.fr/pub/docs/manual...ervasives.html

**ManusDei** · 05/02/2010, 15h41

C'est exactement ce que je cherchais.

C'est pas que je comprend pas comment il marche, c'est que je ne voyais pas trop comment trouver le module dont j'avais besoin (je suppose que ça viendra à l'usage) ^^

Mais là j'ai modules et fonctions, donc c'est niquel.

Merci encore.

**InOCamlWeTrust** · 07/02/2010, 15h14

Bon, je ne veux pas casser l'ambiance, mais vu tes compétences en Caml et étant donné le projet auquel tu t'attaques, j'ai bien peur que tu ne rames plus qu'autre chose pendant ton stage.

Si je comprends bien ton problème...

Il s'agit donc d'un programme d'aide à la création de bases de données, qui à partir d'un modèle de donnée abstrait, doit générer un code dans un langage au choix, ainsi que différents accesseurs, et des fonctions sur les données.

Bref, pour en revenir à ma question, il vont devoir décrire leur modèle de données dans un langage particulier (proche du XML), ensuite je passe ça dans un parser OCAML, qui ressort le code dans le langage choisit (Java, XML, OCAML, etc...).

Chaque modèle de données, représenté par un fichier, doit être réutilisable à loisir
Donc il faut que je puisse proposer à l'utilisateur de choisir un modèle de données parmi les fichiers présents (chaque modèle est dans un fichier différent).

... tu n'as aucunement besoin de charger des librairies dynamiques. Le but de ton programme est de convertir un langage précis en un deuxième langage arbitraire selon des règles inscrites dans des fichiers. C'est à ton programme de faire le boulot ! non au mec qui écrit le fichier décrivant la transformation à effectuer !

En ce qui concerne la recherche des fichiers dans des dossiers, je te conseille vivement d'utiliser le module Sys, qui a le gros avantage d'être 100% portable. Unix n'est réellement portable qu'à 60%, et je ne parle pas seulement en termes de nombre de fonctions. Tu as la fonction Sys.readdir. Toute la doc ici...

http://caml.inria.fr/pub/docs/manual...ibref/Sys.html

Bon courage, car tu en auras besoin !

**ManusDei** · 07/02/2010, 19h14

Par dynamique, je voulais dire principalement que le programme fait un "ls" dans le dossier des modèles à chaque lancement.

Il n'est pas question de modifier les classes pendant l'utilisation du programme (j'ai effectivement pas été clair du tout, j'essayerais de faire plus attention).