Haskell 中的变量

Question

为什么以下 Haskell 脚本不能按预期工作？

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

给定 find 'b' [('a',1),('b',2),('c',3),('b',4)] ，解释器返回 [1,2,3,4]而不是 [2,4] .引入一个新变量，下面称为 u , 有必要让它工作:

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

有谁知道为什么第一个变体没有产生预期的结果？

Answer 1

来自 Haskell 98 Report :

As usual, bindings in list comprehensions can shadow those in outer scopes; for example:

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

还有一点:如果你用 -Wall 编译(或特别是 -fwarn-name-shadowing )您将收到以下警告:

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

使用 -Wall通常是一个好主意——它通常会突出在这种可能令人困惑的情况下发生的事情。