Variables dans Haskell

Question

Pourquoi le script Haskell suivant ne fonctionne-t-il pas comme prévu?

find :: Eq a => a -> [(a,b)] -> [b] 
find k t = [v | (k,v) <- t] 

Compte tenu find 'b' [('a',1),('b',2),('c',3),('b',4)], l'interprète retourne [1,2,3,4] au lieu de [2,4]. L'introduction d'une nouvelle variable, appelée ci-dessous u, est nécessaire pour obtenir ce travail:

find :: Eq a => a -> [(a,b)] -> [b] 
find k t = [v | (u,v) <- t, k == u] 

Est-ce que quelqu'un sait pourquoi la première variante ne produit pas le résultat escompté?

Answer 1

De l'Haskell 98 Report:

Comme d'habitude, les liaisons dans la liste compréhensions peut dans les shadow portées externes; par exemple:

[ x | x <- x, x <- x ] = [ z | y <- x, z <- y]

Un autre point: si vous compilez avec -Wall (ou spécifiquement -fwarn-name-shadowing), vous obtenez l'avertissement suivant:

Warning: This binding for `k' shadows the existing binding 
      bound at Shadowing.hs:4:5 

L'utilisation -Wall est généralement une bonne idée - il mettra souvent en évidence ce qui se passe dans des situations potentiellement confuses comme celle-ci.

Answer 2

Le match de modèle (k,v) <- t dans le premier exemple crée deux nouvelles variables locales v et k qui sont avec le contenu du tuple t. La correspondance de modèle ne compare pas le contenu de t par rapport à la variable déjà existante k, elle crée une nouvelle variable k (qui masque la variable externe).

En règle générale, il n'y a jamais de "substitution de variable" se produisant dans un modèle, tous les noms de variables dans un modèle créent toujours de nouvelles variables locales.

Answer 3

Vous pouvez uniquement faire correspondre le motif sur les littéraux et les constructeurs.
Vous ne pouvez pas faire correspondre les variables. En savoir plus here.

Cela étant dit, vous pourriez être intéressé par les modèles de vue.