D'un type récursif à une liste [Résolu]

[golden boy]

Bonsoir,

je suis actuellement dans l'apprentissage du langage Haskell avec le RWH. J'essaye de créer la fonction qui effectue le contraire de celle-ci :

Code :

1
2
3
fromList (x:xs) = Cons x (fromList xs)
fromList []        =  Nil

À savoir que Cons est un constructeur de ce type :

Code :

1
2
3
data MyList a = Cons a (MyList a)
                    | Nil

Voilà pour l'instant ma fonction (qui ne marche pas) :

Code :

1
2
3
converse (Cons x Nil) = [x]
converse (Cons x y)   = x:(converse y)

Enfin, le message d'erreur de GHC :

Ambiguous occurrence `converse'
It could refer to either `Main.converse', defined at add.hs:25:0
or `Prelude.converse', imported from Prelude

J'espère que mon raisonnement est tout-de-même assez cohérent (enfin, vous me le direz), je mets en tête chaque 'Cons x' jusqu'au Nil.

Merci d'avance

[Chatanga]

Envoyé par golden boy

Bonsoir,
Enfin, le message d'erreur de GHC :

J'espère que mon raisonnement est tout-de-même assez cohérent (enfin, vous me le direz), je mets en tête chaque 'Cons x' jusqu'au Nil.

Merci d'avance

C'est bizarre. Ton code devrait fonctionner sans problème car, contrairement à ce qu'indique le compilateur, il n'y a pas de fonction 'converse' dans le Prelude. Renommer ta fonction différemment, par exemple en 'toList', devrait cependant corriger le problème. De plus, ça m'intéresserait de connaître le résultat des deux commandes suivantes :

Code :

1
2
ghci --version
echo :type converse | ghci

[golden boy]

Bonjour, j'ai donc renommé ma fonction et elle se comporte bien comme j'en avais envie, sans problème. Tu avais vu juste, il y en avait une autre fonction du même nom autre part (j'ai la version 6.12.3 au fait). Je m'excuse de cette erreur vraiment idiote de ma part, d'autant plus que le message de ghci était assez claire (disons que j'étais fatigué quand j'ai codé ça)

(ça me fait penser à un topic qui parlait de namespace ça d'ailleurs...)


Et bien merci Chatanga, et encore désolé !

[SpiceGuid]

Si tu regardais avec plus d'attention la déclaration de ton type MyList tu t'apercevrais que ton code devrait être :

Code Haskell :

1
2
fromMyList (Cons x y) = x:(fromMyList y)
fromMyList Nil = []

[golden boy]

En effet, mais il faut dire que je débute totalement en Haskell et en programmation fonctionnelle, donc les types récursifs et les pattern matching c'est tout nouveau pour moi (déjà que j'avais eu besoin de brouillonner sur un papier pour faire ma première fonction).

Merci de ta remarque !