条件计算 Maybe (IO ())

Question

我对 Haskell 还很陌生，我想表达一下可能发生或不可能发生的 IO 操作的概念。

Network.URI 提供了解析 URI 的函数

parseURI :: String -> Maybe URI

在我的主要功能中，我得到用户的输入

main :: IO ()
main = do
  url <- getLine
  getResource url

以及使用parseURI函数

getResource :: String -> Maybe (IO ())
getResource url = parseURI url >>= doStuff

doStuff :: URI -> Maybe (IO ())
doStuff = undefined

如您所见，我想使用 >>= 来避免与 Maybes 打交道的 case of 级联。

我已经通过将 IO 嵌入到 Maybe 中来做到这一点。我想表达一个可能发生也可能不会发生的 IO 动作的情况。我应该使用什么？我肯定不是第一个遇到这个问题的人。我研究过 MaybeT 和 MonadIO，但我不确定这是我需要的。

具体来说，如果我将 doStuff 移至 MaybeT IO ()，我仍然会使用 parseURI url :: Maybe String。如果我现在将其提升到 MaybeT，我将拥有 MaybeT Maybe String，这与我的 doStuff :: MaybeT IO () 不匹配

我希望它看起来更好（如果可能的话）并了解正确的方向以及使用的主流工具是什么。

感谢您的宝贵时间和建议。

Answer 1

首先：IO () 动作的类型可能会发生也可能不会发生，可以简单地是 IO ()：你不关心结果，或者它是否成功，你只想让它执行 如果可能的话。

如果您确实关心成功，那么有两种选择。

• Maybe (IO ()) 是动作的类型还是不是动作，但是否是透明的“纯值”。即，如果您在顶层有一个 Maybe (IO ()) 值，那么您就可以确定一个动作是否可以发生而实际上不必首先执行任何 IO。但这不可能是您首先必须执行一些 IO 以确定关键操作是否会发生的值的类型，因为要绑定任何 IO，您已经必须位于 @ 的 Just 分支中987654327@！因此，如果成功取决于用户提供的字符串，那么这不是适合您的类型。
• IO (Maybe ()) 是 IO 动作的类型，它可以做任何需要确定采取什么动作的事情。该类型实际上等价于 IO Bool - 一个返回一些指示标志的 IO 操作。您可以指定 Just () 表示已发生某些关键操作，Nothing 表示未发生，但无法从签名中实际看到这一点。

MaybeT IO () 相当于后者，实际上可能是最适合您的应用程序的类型。只是，您需要正确地进行变压器吊装！ lift 从变压器堆栈中的向下 执行一个动作，直到堆栈的顶部。因此lift！例如，您需要它来将像 getLine :: IO String 这样的普通 IO 操作提升到 MaybeT IO 堆栈中：

lift getLine :: MaybeT IO String

但如果你有一个纯粹的Maybe 值，你宁愿需要“支撑”它以获得MaybeT IO。最简单的方法是直接使用MaybeT 构造函数。

getResource :: String -> MaybeT IO ()
getResource url = MaybeT (return $ parseURI url) >>= doStuff

doStuff :: URI -> MaybeT IO ()
doStuff = undefined