haskell - 这个 Haskell 定义是什么意思？

Question

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

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

Answer 1

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

有关类型类的更多信息，请访问 learnyouahaskell.com .在 nuce 中，类型类有点类似于 OOP 的接口(interface)。