为什么不等式测试在此列表理解中不起作用？

如何解决为什么不等式测试在此列表理解中不起作用？

在 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 接口，除非明确告知。