haskell - MaybeT 的 runMaybeT 参数

Question

在https://en.wikibooks.org/wiki/Haskell/Monad_transformers , 我明白了

newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a) }

然后将 MaybeT 实例化为 monad:

instance Monad m => Monad (MaybeT m) where
  return  = MaybeT . return . Just

  -- The signature of (>>=), specialized to MaybeT m:
  -- (>>=) :: MaybeT m a -> (a -> MaybeT m b) -> MaybeT m b
  x >>= f = MaybeT $ do maybe_value <- runMaybeT x
                        case maybe_value of
                           Nothing    -> return Nothing
                           Just value -> runMaybeT $ f value

我不理解 runMaybeT x 中的参数 x。 runMaybeT 不应该接受一个对应于 a 的 arg 吗？但取而代之的是 x，它是整个 MonadT monad

Answer 1

这只是标准的记录语法。在类型定义中，例如

data Foo = Foo { a :: Int, b :: String }

我们自动获取函数 a::Foo -> Int 和 b::Foo -> String 大概不会让您感到惊讶。

MaybeT 绝对没有什么不同。 (它确实使用了 newtype 而不是 data 但这在这里并不重要，如果定义使用 data 代替也是如此)

newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a) }

这给了我们一个函数 runMaybeT::MaybeT m a -> m (Maybe a) 和我们得到函数 a 和 b 的原因完全一样 在上面的简单示例中。这正是记录语法的作用。

特别是在这种情况下，与使用记录语法定义的 newtype 一样，runMaybeT 函数允许我们从抽象 MaybeT m a 到更“具体”的表示形式，作为 m (Maybe a) 类型的值。

这用于 >>= 的 MaybeT m 的实现:因为它的第一个参数(代码段中的 x)是键入MaybeT m a，我们首先需要runMaybeT来获取类型m(Maybe a)的“展开”值，然后使用 >>= 的“基本 monad”m(此处显示为 do 符号)以“提取”Maybe 类型的值code> 然后以通常的方式进行模式匹配。