ReaderT StateT IO 中的应用 <*>

Question

在 ReaderT StateT IO do 块内我尝试使用 <*> 使用 Maybe 参数调用 Maybe 内的函数，但这会导致类型错误。

onMessage <*> (message update)

如果我使用 return $ onMessage <*> (message update) 包装表达式，它会进行类型检查，但函数似乎没有被计算。

如果我解开函数和参数并手动检查Nothing，则调用该函数，但这看起来很难看。

在这种情况下还有其他运算符可以使用吗？这些是我的第一个 Monad Transformer 步骤，这些类型太令人困惑，甚至无法尝试和胡扯一个答案。

---

...

type Bot a = ReaderT (BotConfig a) (StateT (BotState a) IO)

...

processUpdate :: Update -> Bot a ()
processUpdate update = do
    BotConfig {tw_handlers = MessageHandlers {
          tw_onMessage = onMg
        }
    } <- ask

    onMg <*> (message update) -- this is what I would like to do
                              -- onMg :: Maybe (Message -> Bot a ())
                              -- message :: Update -> Maybe Message

Answer 1

根据你的说法，我明白：

onMsg <*> (message update) :: Maybe ( Bot a () )

要执行封闭的Bot a () 计算，如果它是 Just，您可以使用：

maybe (return ()) id $ onMsg <*> (message update)

更新

如何“强制”评估封装的 Bot a () 计算？

我们知道onMsg <*> ... 是Nothing 或Just comp，其中comp 是Bot a () 计算。

如果comp 成为 do-block 中单子序列的一部分，它将被“评估”。

上面的代码同：

case (onMsg <*> ...) of
  Nothing    -> return ()
  Just comp  -> comp

所以return () 或comp 将是执行块中的下一步。