这个Haskell定义是什么意思？

Question

Eq a => [a] -> [(Int,a)]

我不知道Eq的含义或含义,所以我不知道整个定义的含义是什么？

Answer 1

这是a对定义中使用的类型的约束[a] -> [(Int,a)]:它表示必须为Eq类型类定义一个实例.基本上,具有Eq实例的类型支持相等和不等式运算符,(==)以及(/=).

有关类型类的更多信息,请访问learnyouahaskell.com.在nuce中,类型类似于OOP的接口.

Answer 2

这意味着[a]中的元素必须是Eq类型类,这意味着它们必须是可测试的相等.