Discussion :

[Yadasko]

Bonjour tout le monde,

Je débute en Caml, et j'aimerais définir un type (que l'on appellera notreObjet) qui correspondrait à cela :

• pos : de type Position
• dir : de type Direction
• suivant : de type notreObjet ou "None"

(Sachant que les types Position et Direction sont déjà définis )
J'aimerais avoir la possibilité que Suivant soit nul (enfin, "None"), ou bien soit un autre objet du même type.

Est-ce possible ? Et comment ?
Merci

[SpiceGuid]

Si la liste contient au moins un élément alors je préfère :

Code :

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

1
2
3
 
type notreObjet =
   {pos:position;dir:direction;suivant:notreObjet option}

Si la liste est éventuellement vide alors je préfère :

Code OCaml :

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

1
2
3
4
5
 
type notreObjet =
   notreObjetT option
and notreObjetT =
   {pos:position;dir:direction;suivant:notreObjet}

[Yadasko]

Merci de la réponse, mais celle-ci m'en amène une autre.


Si j'implémente la première solution, et que je crée un objet comme ça :

Code :

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

1
2
3
4
5
6
{
    pos = (10/2, 10/2);
    dir = Ouest;
    suivant = un autre objet créé;
}

Si j'accède à monObjet.suivant, je risque d'avoir un objet de type monObjet option ? Ce qui m'empêcherai d'utiliser cet objet en argument d'une fonction qui attend un type monObjet ?

[SpiceGuid]

Que ce soit l'une ou l'autre solution dans tous les cas il faudra construire/déconstruire à l'aide de None/Some.

[Yadasko]

D'accord, merci de l'aide !
Je passe en résolu.