Discussion :

[clement1010]

Bonjour,

J'ai actuellement une structure pour réprésenter des graphes qui est la suivante :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
type couleur = 
    | Vierge
    | Couleur of int;;
 
type sommet = 
    {id : int;
     mutable couleur : couleur;
     mutable voisins : sommet list};;
 
type graphe = sommet list;;
 
let nouveau_sommet () = 
  {id = id_nouveau ();
   couleur = Vierge;
   voisins = []};;
 
let s1 = nouveau_sommet ();;

Dans une des mes fonction je récupère sous forme de string le numéro d'un sommet ex : "s1"

Dans Ocaml je peux faire "s1.couleur <- Couleur(2);;" mais lorsque je l'execute dans mon programme, j'ai l'erreur suivante :

Code :

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

This expression has type string but is here used with type sommet

Comment est-ce que je peux convertir mon String en mon type Sommet ?

Clément.

[TropMDR]

Si je comprends bien ton problème (et je ne suis pas sûr du tout que ce soit le cas), tu voudrais retrouver une variable de ton programme, lors de l'exécution, par son nom (ce qui n'a rien à voir avec le polymorphisme).
La réponse courte est "c'est impossible".
La réponse un peu moins courte est: le nom des variables dans le programe initiale disparait lors de la compilation. Une fois que tout est linké et près à exécuter, les programmes

Code :

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

let x = 3

et

Code :

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

let salut_les_enfants_comment_ca_va = 3

seront compilé de façons rigoureusement identiques. Donc aucun moyen de lier "x" à la variable x, puisque ça pourrait être la variable salut_les_enfants_comment_ca_va.

Maintenant, comment faire ce que tu veux ? En utilisant une table de hash. Quand tu crée un noeud "s1", tu peux l'ajouter dans une table de hash:

Code :

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

1
2
3
4
5
let all_the_nodes: (string, node) Hashtbl.t = Hashtbl.create 42
 
let add_node name node = Hashtbl.add all_the_nodes name node
 
let get_node name = Hashtbl.find all_the_nodes name

Have fun

[clement1010]

Merci pour ta réponse. En effet ce n'est pas du polymorphisme, je me suis égaré sur ce coup la.

Sinon, je pense que tu as bien compris mon problème et ton explication m'a permis de comprendre pourquoi c'est impossible.

Je vais creuser du côté de la table de hash, mais je n'ai jamais vu ca. Si tu pouvais m'expliquer les grandes lignes, et comment ca fonctionne (un lien vers un tuto que tu trouves bien fait ou autre, m'irait très bien.)

Je te tiens au courant.

[TropMDR]

Je vais creuser du côté de la table de hash, mais je n'ai jamais vu ca. Si tu pouvais m'expliquer les grandes lignes, et comment ca fonctionne (un lien vers un tuto que tu trouves bien fait ou autre, m'irait très bien.)

En gros une table de hash de type ('key, 'content) Hashtbl.t, c'est un objet qui associe des objet de type 'key à des objets de types 'content (j'utilise "objet" pour "truc" ou "valeur", pas pour objet dans le sens de la programmation orienté objet).

La documentation est là: http://caml.inria.fr/pub/docs/manual...f/Hashtbl.html

Pour ton usage, tout ce dont tu as besoin, je dirais que c'est create, add, find et remove.
Pour create, prends un nombre premier pas trop grand (97 fait l'affaire par exemple).
Après, add et find et remove, je pense que c'est assez simple, une fois que tu as décodé leur type(*):

Code :

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

1
2
3
4
val add : ('key, 'value) t -> 'key -> 'value -> unit
val find : ('key, 'value) t -> 'key -> 'value
val mem : ('key, 'value) t -> 'key -> bool
val remove : ('key, 'value) t -> 'key -> unit

Après, si tu es curieux (et j'espère que tu l'es ), tu trouveras plus d'infos sur les tables de hash en générales (comment ça marche en interne) par exemple dans le Cormen, ou sans doute sur wikipedia



(*)pour ceux que ça intéresse, OCaml a enfin été patché pour les variables de types gardent leurs noms, à la fois pour ocamlc -i, les messages d'erreurs et normalement ocamldoc ! RDV à la prochaine release je pense