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，第二個元素的類型與傳遞給函數的列表的類型相同。

（這裏不是母語爲英語的人，對不起:)）