我能自动实现类吗？

Question

在Scalaz中，每个Monad实例都自动是Applicative的一个实例。

implicit val listInstance = new Monad[List] {
  def point[A](a: => A) = List(a)
  def bind[A, B](fa: List[A])(f: A => List[B]) = fa flatMap f
}

List(2) <*> List((x: Int) => x + 1) // Works!

另一个例子：Arrow自动是一个Profunctor。

但是，在Haskell中，我必须一次又一次地为每个Applicative提供一个Monad实例。

有可能避免这种重复的工作吗？

Answer 1

目前是不可能的，不过如果您更改现有的库以支持这一点，则是不可能的。打开DefaultSignatures可以让你写

class Applicative f where
    pure :: a -> f a
    (<*>) :: f (a -> b) -> f a -> f b

    default pure :: Monad f => a -> f a
    default (<*>) :: Monad f => f (a -> b) -> f a -> f b
    pure = return
    (<*>) = ap

然后，一旦实现了instance Monad M where {- ... -}，一个简单的instance Applicative M (没有where或方法定义)将继承这些默认实现。我不知道为什么这件事没有完成。

Answer 2

当有两个地方可以派生Applicative实例时，问题就出现了。例如，假设m是a b类型，其中Arrow a。然后，这个定义中也有一个明显的Applicative实例。编译器应该使用哪一个？当然，它的结果应该是一样的，但是Haskell没有办法检查这一点。通过让我们写出实例，Haskell至少迫使我们考虑定义的一致性。

如果您愿意的话，Control.Applicative中有一个Control.Applicative类，它提供了所有明显的newtype包装实例，但是一直使用WrapMonad和unwrapMonad也没有那么吸引人。