IdentityT 变压器的用途是什么？

Question

在查看 Transformers 包时，我发现这个 monad 转换器名为 身份T。

虽然我了解 Identity monad 的使用方式（例如 StateT Identity 只是 StateT Identity 的别名）以及 monad 转换器的一般工作原理，但我不知道它与身份T。

由于它不在 MTL 中，我猜它只是为了完整性而添加到那里的，并没有实际用途。这是正确的吗？

Answer 1

那么链接的文档确实说

这对于由 monad 转换器参数化的函数很有用。

尽管我不知道有任何情况确实如此。理论上，如果你有一个类似 foo :: (MonadTrans t, Monad m) => 的函数tma-> b 对于一些有用的 b，那么您可能希望能够将其“简化”为本质上 ma ->; b 通过使用t = IdentityT。

但 IdentityT 之于 MonadTrans 就像 Identity 之于 Monad 一样。它是“直通”转换器，因为 Identity 是“直通”单子。只需查看来源即可；这很简单。 IdentityT SomeMonad a 的行为应该与 SomeMonad a 相同，唯一的区别是存在额外的新类型（当然，它在编译时被删除）

Answer 2

这里有一个建议的用法（大概是 IdentityT 的起源：
http://www.haskell.org/pipermail/libraries/2007-June /007563.html

主要用途似乎是在源代码级别提供灵活性，例如，有人可以将源代码编辑为 xmonad 并替换自己的 UserT 而无需编辑代码太多。

我试图看看这如何适用于一个库 - 你可以使用它来提供一个占位符，用于在堆栈中间插入一个单子，但我不确定是否有一个很好的例子。这是我设计的例子：

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

module Main where

import Control.Monad.State
import Control.Monad.List
import Control.Monad.Reader

type X m a = StateT Int (m IO) a

something :: (Monad (m IO), MonadIO (m IO)) => (m IO) Int -> X m Int 
something a = do
        x <- lift a
        put (x + 1)

        liftIO $ print x
        return x



listSomething = something $ ListT (mapM return [1,2,3,4])
plainSomething = return 5 :: IdentityT IO Int

main = do 
    x <- runListT (execStateT listSomething 3)
    print x 

    y <- runIdentityT (execStateT plainSomething 3)
    print y

runIdentity $ mapM (return . (+1)) [1..100]