Je débute en haskell, incompréhension sur les classes

Bonjour voilà j'ai ce petit bout de code :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

data Ord a => Dictionary a b = Dictionary [(a, b)]   get_ :: Eq a => [(a, b)] -> a -> Maybe b get_ [] _ = Nothing get_ ((k, v) : kvs) s = if s == k then Just v else get_ kvs s   get :: Dictionary a b -> a -> Maybe b get (Dictionary d) k = get_ d k   main = do return ()

---

et mon compilateur (GHC version 6.8.3) me pète le message d'erreur suivant

Code:

---

1 2 3

Could not deduce (Ord a) from the context () arising from a use of `Dictionary' at bencoding.hs:10:5-16

---

donc j'ai essayé de mettre

Code:

---

get :: Eq a => Dictionary a b -> a -> Maybe b

---

et pareil, là seule solution que j'ai est de mettre

Code:

---

get :: Ord a => Dictionary a b -> a -> Maybe b

---

Et je ne comprends pas pourquoi. Quand j'ai déclaré le type Dictionary a b j'ai précisé que a devait être de la classe Ord (qui hérite de Eq) alors pourquoi dois-je le préciser à chaque utilisation ? (je n'ai pas mis juste Eq car j'aurais le besoin de garder la liste dans un état trié).
Après je débute en haskell et suis ouvert à toute remarque.
Merci

En Haskell, quand tu specifie une contrainte de type sur un type polymorphique tu doit specifier la contrainte dans chaque fonction dans laquelle celui-ci apparait. C'est pourquoi ce n'est generalement pas une bonne pratique.

Fait juste : data Dictionary a b = Dictionary [(a,b)]

et specifie la contrainte uniquement dans les fonctions qui en ont besoin.

voilou!

Citation:

---

Envoyé par SayaZors

En Haskell, quand tu specifie une contrainte de type sur un type polymorphique tu doit specifier la contrainte dans chaque fonction dans laquelle celui-ci apparait. C'est pourquoi ce n'est generalement pas une bonne pratique.

Fait juste : data Dictionary a b = Dictionary [(a,b)]

et specifie la contrainte uniquement dans les fonctions qui en ont besoin.

voilou!

---

Ok et merci, mais je trouve cela assez étrange comme comportement. Car dans la version actuelle que j'ai si j'essaye de créer un dico avec une fonction du style

Code:

---

1 2 3

makeDico :: a -> b -> Dictionary a b makeDico a b = Dictionary [(a, b)]

---

Il va hurler mais si je lui précise que a est une instance de Ord il accepte ma fonction.
Donc je ne peux créer un dictionnaire sans avoir un type totalement ordonné pour les clefs, mais quand il a un dictionnaire il n'est pas capable de déduire que le type des clefs est totalement ordonné. C'est...

Mais sinon je crois que je vais suivre tes conseils et ne fixer le contexte que lors de la définition des fonctions.

La contrainte sur le type de donnée a quand même une valeur indicative pour le programmeur qui peut être utile dans certains cas (mais il faut faire attention à mettre des contraintes qui ont du sens même si on fait abstraction de l'implémentation, sinon c'est pas joli).

J'ai continuer de m'amuser avec haskell et je bloque sur un autre problème.
J'ai une monade Law a qui est Law [(a, Rational)] et qui correspond à des probabilités. Ainsi un jeté de dé serait Lax [(x, 1/6) | x <- [1..6]

j'arrive à définir return sans problème : return x = Law [(x, 1)]
le problème est que pour le bind j'ai besoin d'avoir l'égalité sur mon type a car [(x, 1/2), (x, 1/2)] doit être stocké en [(x, 1)].

Et j'ai essayé plein de truc pour dire que Law est une instance de Monad si le type a de Law a est une instance de Eq, mais à chaque fois il refuse. Je pourrais bien sûr stocké les trucs sans les comparer avec l'égalité et lorsque je demanderais la probabilité d'un élément je les regrouperai à ce moment là, mais cela va faire que par exemple si je veux jeter mille pièces et avoir la probabilité du nombre de pile, ben je vais me retrouver avec une liste de taille 2^1000, alors que si je les regroupe pendant le bind j'aurais une liste de taille 1001.

Y'a-t-il une solution à mon problème ?

Non. (à ma connaissance)

Tu peux t'en sortir en définissant ta fonction de regroupement, et en l'appliquant régulièrement pour éviter l'explosion combinatoire. L'auteur de ce billet a rencontré exactement le même problème.

Bien sûr tu peux définir une typeclass qui correspond à Monad avec la restriction Eq sur le paramètre du foncteur, mais dans ce cas tu ne profiteras pas automatiquement des fonctions sur Monad, non plus que de la notation do (encore qu'il y ait moyen de tricher un peu).

Le problème est effectivement que Monad n'a pas de restriction sur le paramètre de son foncteur et qu'il n'y a pas moyen d'en rajouter sur les instances, pour cela il faudrait que le type du paramètre soit un paramètre de la classe...

--
Jedaï