Discussion :

[obiflo]

Bonjour, dans mon cours :

Code :

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

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

[Jedai]

Code :

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

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 :

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

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ï

[obiflo]

Merci pour cette réponse complete et rapide