haskell - 这个简单的函数叫什么？

Question

您已经见过以下函数吗？这叫什么？它有什么用？它可以比仅针对 StateT 更通用地定义吗？

simpleFunction (StateT f) = StateT $ (\s -> return (f s, s))

顺便说一下，ghc 给它的类型是 Monad n => StateT s m a -> StateT s n (m (a, s))。

还有一个替代定义:

simpleFunction m = do
  s <- get
  mapStateT (\l -> return (l, s)) m

Answer 1

拥有两个像 n (m a) 这样的单子(monad)通常不是很有用(组合可能不是单子(monad)等)。所以我想更有用的版本应该是这样的(Monad m) => StateT s m a -> StateT s m (a, s)。

这可以推广到 m 上的任意状态转换器:

import Control.Monad
import Control.Monad.State

f1 :: (MonadState s (t m), MonadTrans t, Monad m) => StateT s m a -> t m (a, s)
f1 (StateT f) = get >>= lift . f

由于我们唯一需要的是 get，我们可以进一步概括为:

f2 :: (MonadTrans t, Monad m, Monad (t m)) => t m s -> StateT s m a -> t m (a, s)
f2 g (StateT f) = g >>= lift . f

如果你确实需要有两个 monad，也许 MFunctor会很有用 - 像 hoist 或 generalize 这样的函数允许在 monad 之间切换。