Définir un arbre caml

[Rockleader]

Salutation, juste une petite question vis à vis de cet intitulé

Définir le type arbreBinaire comme une structure de donnée générique d'arbre binaire étant, soit vide, soit un noeud avec deux sous arbres et une information.

Question 1: Par rapport à cet intitulé je n'arrive pas à savoir si on a un arbre définit selon 3 champs...vide, noeud , information
OU
l'arbre définir par deux champs vide,noeud avec le noeud possédant l'information.

soit un noeud avec deux sous arbres et une information

Je trouve cette formulation assez obscure pour le coup, cela dit si on se base sur le soit, j'en déduirais que l'arbre est soit vide soit un noeud



Je serais donc tenté d'écrire

Code: Tout sélectionner

type arbreBinaire = Vide
         |Noeud of arbreBinaire*arbreBinaire*'a;;

Sauf que j'obtiens l'erreur Unbound type parameter 'a

Il semblerait que je ne puisse pas représenter l'information par 'a et l'intitulé ne dit pas ce que représente l'information ...du coup je vois pas du tout comment faire ça...

Une idée ?

[Monsieur23]

Aloha,

Je comprends l'énoncé comme toi (2 constructeurs).

Code: Tout sélectionner

type arbreBinaire = Vide
         |Noeud of arbreBinaire*arbreBinaire*'a;;

Essaye

Code: Tout sélectionner

type 'a arbreBinaire = Vide
         |Noeud of arbreBinaire*arbreBinaire*'a;;

[archimaide]

Bonjour à Tous, quelqu'un pourrait me dire (svp) comment obtient-on les nombres
16, 19, 22, 35, 37, à partir de 117 diviser par 9, svp je galère grave, a quoi correspondent ils et comment les obtient on?

117 / 9 = 13
/ 9 = 1.4444444444
/ 9 = 0.1604938272
/ 9 = 0.0178326475
/ 9 = 0.0019814053
/ 9 = 0.0002201561
/ 9 = 0.0000244618
/ 9 = 0.000002718
/ 9 = 0.000000302
/ 9 = 0.0000000336
/ 9 = 0.0000000037
/ 9 = 0.0000000004
/ 9 = 0.0000000001

[Rockleader]

Aloha,

Je comprends l'énoncé comme toi (2 constructeurs).



Essaye

Code: Tout sélectionner

type 'a arbreBinaire = Vide
         |Noeud of arbreBinaire*arbreBinaire*'a;;

Salut, merci pour ta réponse.


Avec ta solution, j'obtiens l'erreur suivante:

Error: The type constructor arbreBinaire expects 1 argument(s),
but is here applied to 0 argument(s)


Cela me semble aussi un peu bizarre de définir 'a arbreBinaire si l'on me dit de définir seulement arbreBinaire.

[Monsieur23]

Ah pardon, j'ai oublié…

Code: Tout sélectionner

type 'a arbreBinaire = Vide
         |Noeud of ('a arbreBinaire)*('a arbreBinaire)*'a;;

Pour moi, tu es obligé de définir 'a arbreBinaire, il faut que tu types ton "information"

[Rockleader]

Ah pardon, j'ai oublié…

Code: Tout sélectionner

type 'a arbreBinaire = Vide
         |Noeud of ('a arbreBinaire)*('a arbreBinaire)*'a;;

Pour moi, tu es obligé de définir 'a arbreBinaire, il faut que tu types ton "information"

Ah super merci, bon je ne sais pas si c'est la solution qu'il fallait adopter mais je vais essayer d'avoir confirmation.


Sa veut donc dire que là je pourrais faire un arbre avec n'importe quel type d'information.

[Monsieur23]

Ouais, si tu veux déclarer un arbre d'entiers par exemple, tu utiliseras un int arbreBinaire