Haskell: Typeclass与传递函数

Question

在我看来，您似乎总是可以传递函数参数，而不是使用类型类型。例如，与其定义平等类型，不如：

class Eq a where 
  (==)                  :: a -> a -> Bool

并且在其他函数中使用它来指示类型参数必须是Eq的一个实例。

elem                    :: (Eq a) => a -> [a] -> Bool

我们不能只定义我们的elem函数而不使用类型类型，而是传递一个函数参数来完成任务吗？

Answer 1

是。这(称为字典传递)基本上就是编译器对类型类所做的事情。对于这个功能，字面上来说，它看起来有点像这样：

elemBy :: (a -> a -> Bool) -> a -> [a] -> Bool
elemBy _ _ [] = False
elemBy eq x (y:ys) = eq x y || elemBy eq x ys

调用elemBy (==) x xs现在相当于elem x xs。在这种特殊情况下，您可以更进一步：eq每次都有相同的第一个参数，所以您可以让调用方负责应用这个参数，最后得到如下结果：

elemBy2 :: (a -> Bool) -> [a] -> Bool
elemBy2 _ [] = False
elemBy2 eqx (y:ys) = eqx y || elemBy2 eqx ys

调用elemBy2 (x ==) xs现在相当于elem x xs。

...Oh等一下。那只是any。(事实上，elem = any . (==).)