Question en Haskell

Bonjour, dans mon cours :

Code:

---

1 2	data ABR a = Nœud (ABR a) a (ABR a) | Feuille

---

Le but étant de faire un arbre mais le probléme ne vient pas de là
Je ne me rappel plus ce que veut dire la 2éme ligne "| Feuille" ?
Si quelqu'un a une idée..

merci

Code:

---

data ABR a = Noeud (ABR a) a (ABR a) | Feuille

---

Signifie que le type "ABR a" a deux constructeurs : Noeud et Feuille, Noeud prend trois paramètres, un "ABR a", un "a" et un "ABR a" et Feuille n'en prend aucun.

Autrement dit ton arbre de "a" est soit un Noeud avec un fils gauche (un arbre de "a"), une étiquette (de type "a") et un fils droit (un arbre de "a"), soit une Feuille sans fils et sans étiquette.

"a" est une variable de type, c'est à dire qu'il peut s'agir de n'importe quel type, Int, String, ABR [Float]...

Les constructeurs de type peuvent être utilisé dans les motifs pour déconstruire ton arbre ou en tant que fonction pour le construire, par exemple ici tu peux voir les deux usages dans un fmap pour ton arbre, qui applique une fonction à toutes les étiquettes de ton arbre et renvoie l'arbre résultant :

Code:

---

1 2 3

fmap :: (a -> b) -> ABR a -> ABR b fmap f (Noeud fg etiquette fd) = Noeud (fmap f fg) (f etiquette) (fmap f fd) fmap _ Feuille = Feuille

---

--
Jedaï

Merci pour cette réponse complete et rapide :)