提取 IO 中的 Maybe 值

Question

鉴于以下内容：

> (liftM2 fromMaybe) (ioError $ userError "OOPS") (return $ Just "ok")

ghci 给了我

*** Exception: user error (OOPS)

当然，fromMaybe 工作正常：

> (liftM2 fromMaybe) (return $ "not me") (return $ Just "ok")
"ok"

但似乎 IO 操作正在执行，然后被丢弃：

> (liftM2 fromMaybe) (putStrLn "computing.." >> "discarded") (return $ Just "ok")
computing..
"ok"

为什么会发生这种情况？有没有办法让 IO monad 变得更懒惰？

具体来说，给定 value :: IO (Maybe a) 什么是（干净、简洁）的表达方式

result <- (liftM2 fromMaybe) err value

并让它解压结果或相应地抛出 IOError ？

Answer 1

我不知道让 IO 更懒惰是正确的方向。您似乎想做的是首先找到“也许”，然后消除它。这可以用多种方式编写，这是一种选择：

test :: IO (Maybe a) -> IO a
test = (>>= maybe (ioError $ userError "oops") return)

Answer 2

如果您从 liftM2 转换为 do-notation，很明显您的代码失败的原因：

do x <- ioError $ userError "OOPS"
   y <- return $ Just "ok"
   return $ fromMaybe x y

这永远不会超过第一行，因为它无条件抛出异常。

Anthony的建议可以正常工作，但是如果你不关心抛出的具体异常，你也可以使用模式匹配：

do Just result <- value

如果模式不匹配，则会调用 fail，在 IO monad 的情况下会引发异常。

> Just x <- return Nothing
*** Exception: user error (Pattern match failure in do expression at <interactive>:1:0-5)

Answer 3

什么是（干净、简洁）的方法...解压结果或相应地抛出 IOError？

我建议您避免依赖抛出错误。相反，明确地处理“错误”：

maybeM :: Monad m => m b -> (a -> m b) -> m (Maybe a) -> m b
maybeM err f value = do
  x <- value
  case x of
    Just y  -> f y
    Nothing -> err

-- This can be written simply as:
maybeM err f value = do
  x <- value
  maybe err f x

-- or even shorter! This is starting to look like Anthony's answer :)
maybeM err f value = value >>= maybe err f

函数的输入和类型应该不言而喻。您可以通过给它一个在 Nothing 情况下执行的操作，或在 Just 情况下对内部值执行的函数来使用它。对于您的特定输入，这看起来像：

maybeM (ioError $ userError "OOPS") return (return $ Just "ok")

因此，如果您绝对必须，那么“解压结果或抛出 IOError 的简洁方法”将是：

-- compare to fromJust, a function to be avoided
fromJustIO :: IO (Maybe a) -> IO a
fromJustIO = maybeM (ioError $ userError "OOPS") return

请注意，其类型签名实际上是 也许-> a，这是 magicMonadUnwrap :: Monad m => 的本质妈-> a，这应该会引发一些危险信号。然而，您可以通过简单的方式使用这种暴行：

result <- fromJustIO value

尽管如此，我再次强烈反对在这里使用异常。尝试以比简单爆炸更优雅的方式处理错误，方法是使用 MaybeM 并提供在失败时执行的 IO 操作。