haskell - 条件计算 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 级联。

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

具体来说，如果我将 doStuff 移动到 MaybeT IO ()，我仍然会遇到 parseURI url::Maybe String。如果我现在将其提升到 MaybeT，我会得到 MaybeT Maybe String 并且它不会与我的 doStuff::MaybeT IO ()

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

感谢您的时间和建议。

Answer 1

首先: IO () 的类型可能发生也可能不发生的 Action 可以简单地IO () :你不关心结果，或者它是否成功，你只是希望它如果可能的话执行。

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

• Maybe (IO ())是 Action 的类型还是不是 Action ，而是是否是透明的“纯值”。即，如果您有 Maybe (IO ())顶层的值，那么您就可以确定是否可以发生某个操作，而无需实际执行任何 IO首先。但这不能是您首先必须执行一些 IO 来确定关键操作是否会发生的值的类型，因为为了绑定(bind)任何 IO，您必须位于 Just 中。 Maybe的分支!因此，如果成功取决于用户提供的字符串，那么这可能不是适合您的类型。
• IO (Maybe ())是 IO 的类型可以执行任何需要确定要采取的操作的操作。该类型实际上相当于 IO Bool – 一个IO返回一些指示标志的操作。您可以指定 Just ()表示发生了一些关键操作，并且 Nothing意味着它没有，但是没有办法从签名中实际看到这一点。

MaybeT IO ()相当于后者，实际上可能是最适合您的应用程序的类型。只是，您需要正确地进行变压器吊装! lift从变压器堆栈中向下执行一个操作，直到该堆栈的顶部。因此lift !例如，您需要它来举起正常的 IO类似getLine :: IO String的行动进入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