do 符号是否特定于“base:GHC.Base.Monad”？

Question

标准 Monad 类有缺陷并且它实际上应该扩展 Functor 或 Pointed 的想法正在流传。

我不一定声称这是正确的做法，但假设有人试图这样做：

import Prelude hiding (Monad(..))

class Functor m => Monad m where
    return :: a -> m a
    join :: m (m a) -> m a
    join = (>>= id)
    (>>=) :: m a -> (a -> m b) -> m b
    a >>= t = join (fmap t a)
    (>>) :: m a -> m b -> m b
    a >> b = a >>= const b

到目前为止一切都很好，但是当尝试使用 do-notation 时：

whileM :: Monad m => m Bool -> m ()
whileM iteration = do
    done <- iteration
    if done
        then return ()
        else whileM iteration

编译器抱怨：

Could not deduce (base:GHC.Base.Monad m) from the context (Monad m)

问题：< /strong>

do 表示法仅适用于 base:GHC.Base.Monad 吗？有没有办法让它与替代的 Monad 类一起工作？

额外上下文：

我真正想做的是将base:Control.Arrow.Arrow替换为“通用”Arrow类：

{-# LANGUAGE TypeFamilies #-}

class Category a => Arrow a where
    type Pair a :: * -> * -> *
    arr :: (b -> c) -> a b c
    first :: a b c -> a (Pair a b d) (Pair a c d)
    second :: a b c -> a (Pair a d b) (Pair a d c)
    (***) :: a b c -> a b' c' -> a (Pair a b b') (Pair a c c')
    (&&&) :: a b c -> a b c' -> a b (Pair a c c')

然后使用Arrow 的 proc-notation 与我的 Arrow 类，但是失败了，就像上面的 do-notation 和 Monad 示例一样。

我将主要使用 Either 作为我的配对类型构造函数，而不是像当前 Arrow 类那样使用 (,) 类型构造函数。这可能会让我的玩具 RTS 游戏（cabal install DefendTheKind）的代码变得更加漂亮。

Answer 1

您需要使用 NoImplicitPrelude 扩展 用于完整的可重新绑定语法，包括 do 和 proc。在这种情况下，您会得到以下信息以及其他信息：

“Do”符号使用范围内的任何函数 (>>=)、(>>) 和失败进行翻译（不是 Prelude 版本）。列表推导式、mdo（第 7.3.6 节，“递归 do 表示法”）和并行数组推导式不受影响。

您还可以调整对否定、相等、文字值等的一些处理。混淆代码的好方法！

ps -- 如果您要重新绑定 do 语法，sigfpe 所说的“参数化 monad” 非常有趣。同样的想法可以在 Control.Monad.Indexed。是的，尽管类型签名截然不同，但它们确实可以使用可重新绑定的语法！