Haskell的定义是什么意思？

Question

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

我不知道Eq是什么意思或做什么，所以我不知道整个定义是什么意思？

Answer 1

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

Answer 2

这是关于在定义[a] -> [(Int,a)]中使用的类型a的约束：它说它必须为Eq类型类定义一个实例。基本上，带有Eq实例的类型支持平等和不平等运算符(==)和(/=)。

有关这里的特定类的更多信息，请登录learnyouahaskell.com。在nuce中，类型类与OOP的接口有些相似。

Answer 3

类型的项目a必须是方程式 typeclass，如前所述。该式类型类定义了可与其他类型的相等性比较的类型，有个“==”操作符/功能

这意味着你的函数接受作为其唯一参数的“一”项目的列表

[a] is a list of types a 

并返回（Int，a）对的列表，即一个2元组列表，其中元组中的第一个元素是一个Int，第二个元素的类型与传递给函数的列表的类型相同。

（这里不是母语为英语的人，对不起:)）