问题描述
在 GHCi 中,输入以下两行从输入的数字列表中返回两个数字的列表,以便列出所有组合,但不会两次使用相同的元素。
Prelude> a = [1,3,7,10,25,50]
Prelude> [(x,y) | x <- a,y <- a,x /= y ]
[(1,3),(1,7),10),25),50),(3,1),(7,(10,(25,(50,25)]
当我在我的 .hs 程序中编写类似的代码时,编译器不断拒绝任何测试相等或不相等的守卫。即
choices :: [a] -> [[a]]
choices [] = [[]]
choices [x] = [[x]]
choices xs = [[m,n] | m <- xs,n <- xs,m /= n ]
编译器突出显示 m /= n
。删除该守卫 (m =/ n
) 然后列表理解工作(重复使用列表 a
的元素)这是否与编译器不知道 m 和 n 的类型有关,以便它可以'确保它们在类型类 Ord 中?
解决方法
并非所有类型都是 Eq
typeclass 的成员。例如,您无法检查两个 IO Int
是否相等。
您应该指定一个类型约束,指定这将适用于作为您实现的 Eq
类型类成员的所有类型:
choices :: Eq a => [a] -> [[a]]
choices [] = [[]]
choices [x] = [[x]]
choices xs = [[m,n] | m <- xs,n <- xs,m /= n ]
对于给定的样本输入,我们得到:
Prelude> choices [1,3,7,10,25,50]
[[1,3],[1,7],10],25],50],[3,1],[7,[10,[25,[50,25]]
,
如有疑问,您可以随时在 ghci
解释器下运行:
$ ghci
λ>
λ> choices xs = [[m,m /= n ]
λ>
λ> choices [1,2]
[[1,2],[2,1]]
λ>
到目前为止一切顺利。但是 ghci
为 choices
函数推断出什么类型?
λ>
λ> :type choices
choices :: Eq a => [a] -> [[a]]
λ>
λ>
瞧!您缺少类型约束。
GHC 不会不会假设类型 α 提供一些 Ord
或 Eq
接口,除非明确告知。