Maybe 实例中的类型不匹配

Question

我有一个类的定义

class Functor f  => Pointed f where
    pure :: a -> f a

现在我想为Maybe 创建实例。为什么这不起作用？

instance Pointed (Maybe s) where
    pure Nothing  = Nothing
    pure (Just a) =  a


class Functor f where
    fmap :: (a->b) -> f a -> f b 

错误是：

  Kind mis-match
    The first argument of `Pointed' should have kind `* -> *',
    but `Maybe s' has kind `*'
    In the instance declaration for `Pointed (Maybe s)'
Failed, modules loaded: none.

Answer 1

在Pointed的定义中，f有一种* -> *，所以你需要提供一个类型相同的构造函数。 Maybe 有那种，而(Maybe s) 有那种*。如果在pure 的定义中将Maybe 替换为f，则会得到：

pure :: a -> Maybe a

因此，您的定义应如下所示：

instance Pointed Maybe where
    pure a =  Just a

由于kind inference 的规则，类型* -> * 被推断为f。 a 被假定为具有种类 *，因为它是一个函数参数（具有种类 * -> * -> *）。 f a 应该有善意的* 所以f 有善意的* -> *。

在Pointed的定义中，Functor f =>是一个类上下文，并声明Functor是Pointed的超类。这意味着Pointed 的所有实例也必须是Functor 的实例。

Maybe 已经是Functor 的一个实例，所以你不需要自己定义它。