这是什么意思？情商a => a -> [a] -> Bool

Question

我正在学习时，发现了这样一个函数elem：

Eq a => a -> [a] -> Bool

Eq a =>是什么意思？

Answer 1

Eq a是一个所谓的类约束。这意味着替代a的类型需要实现Eq类型。

在像Java这样的编程语言中，这类似于实现一个接口。

您可能已经猜到Eq提供了==和/=函数。如果有多个约束，类型签名如下所示

fun :: (Ord a, Bounded a) => ...

要查看类型化提供了什么，您可以查看有关hackage的文档或在:info Ord中运行GHCi。