haskell - 比较 Haskell 中的不同类型

Question

我正在尝试检查 haskell 应用程序中的相等性，该应用程序接受 [a] 类型的 xs，如下所示:

myCompare :: Int -> Int -> [a] -> Int
myCompare pointer x xs = if pointer < length xs
                         then if xs !! pointer == xs !! (pointer+1)
                         ....

但是，Haskell 遇到了一个问题，即它无法对 xs 数组中的项目进行比较，因为它们可能具有不同的类型。

返回的错误是:

No instance for (Eq a) arising from a use of ‘==’
Possible fix:
  add (Eq a) to the context of
    the type signature for myCompare :: Int -> Int -> [a] -> Int

我对类型不熟悉，不确定如何转换它 - 有人可以帮助我吗？

Answer 1

只需执行编译器告诉您的操作即可:向函数添加 Eq 约束。

myCompare :: Eq a => Int -> Int -> [a] -> Int

当你编写a时，你告诉编译器该函数可以操作任何类型；换句话说，这意味着您不对该类型有任何期望。

比较特定类型的两个值不是给定的；它由 Eq 类型类提供。虽然大多数 ADT 可以简单地派生 Eq 来获取该实例，但您仍然需要确保要比较的类型和值实际上具有该实例，这正是约束正在做的事情。