Question

我正在尝试实现Monad实例。作为一个更简单的例子，假设如下：

data Maybee a = Notheeng | Juust a 

instance Monad Maybee where
   return x = Juust x
   Notheeng >>= f = Notheeng
   Juust x >>= f = f x
   fail _ = Notheeng

据我所知，这应该是Maybe的标准实现。但是，这不能编译，因为编译器抱怨：

没有（Applicative Maybee）的实例

同样，一旦给出了Applicative，他就想要一个Functor实例。

所以：简单的问题：在我实现Monad之前，我是否必须始终实现Functor和Applicative？

Answer 1

是的，以前情况并非如此，这是ghc7.10中以Functor-Applicative-Monad Proposal为名引入的变更。

Answer 2

必须为Functor和Applicative定义实例（第二个是新版Haskell中的新要求），但实际上没什么大不了的，因为如果你不想手写你自己的实例你可以使用这些实例：

import Control.Applicative (Applicative(..))
import Control.Monad       (liftM, ap)

-- Monad m

instance Functor m where
    fmap = liftM

instance Applicative m where
    pure  = return
    (<*>) = ap

Answer 3

使用GHC 7.10及更高版本，您必须实施Functor和Applicative。 Monad的类定义强制要求超类实例：

class Functor f => Applicative f where ...
class Applicative m => Monad m where ...

请注意，一旦您拥有Monad个实例，就可以一般性地定义Functor和Applicative个实例，而无需额外付费：

import Control.Monad

-- suppose we defined a Monad instance:
instance Monad m where ...

instance Functor m where
    fmap = liftM

instance Applicative m where
    pure = return
    (<*>) = ap

我必须实现Applicative和Functor来实现Monad

3 个答案: