如何捕获（并忽略）对错误函数的调用？

Question

我很惊讶我在任何地方都找不到这个问题的答案。

我正在编写一个 roguelike 游戏，并且正在使用 hackage 的 ncurses 库，它是 ncurses 库的一个非常好的包装器。现在 ncurses 有一个怪癖，如果你尝试写右下角的字符，它会这样做，然后它会尝试将光标移动到下一个字符，然后它会失败，因为没有地方可以移动它。它返回一个您只能忽略的错误值。

我的问题是，haskell ncurses 库编写者尽职尽责地检查所有调用中是否有任何错误，当有错误时，他会调用：错误“drawText：等等”。

在其他语言中，比如 c 或 python，为了解决这个问题，你被迫忽略错误或捕获并忽略异常，但对于我来说，我无法弄清楚如何在 haskell 中做到这一点。错误函数是不可恢复的吗？

如果必须的话，我会在本地修改库以不检查该函数的错误，但我讨厌这样做。我也愿意接受任何允许我在不移动光标的情况下绘制最后一个字符的解决方法，但我认为这是不可能的。

Answer 1

您可以使用 Control.Exception 中的 catch 来执行此操作。但请注意，您需要位于 IO monad 中才能执行此操作。

import qualified Control.Exception as Exc

divide :: Float -> Float -> Float
divide x 0 = error "Division by 0."
divide x y = x / y

main :: IO ()
main = Exc.catch (print $ divide 5 0) handler
    where
        handler :: Exc.ErrorCall -> IO ()
        handler _ = putStrLn $ "You divided by 0!"

Answer 2

error 应该像无限循环一样可观察到。您只能在 IO 中捕获error，这就像说“是的，如果您懂得魔法，就可以”。但是从 Haskell 真正好的部分来看，纯代码，它是不可恢复的，因此强烈建议不要在你的代码中使用，只要你将无限循环用作错误即可代码。

ncurses 很粗鲁，让你用魔法来纠正它。我想说 unsafePerformIO 有理由清理它。除此之外，这与保罗的回答基本相同。

import qualified Control.Exception as Exc

{-# NOINLINE unsafeCleanup #-}
unsafeCleanup :: a -> Maybe a
unsafeCleanup x = unsafePerformIO $ Exc.catch (x `seq` return (Just x)) handler
    where
    handler exc = return Nothing  `const`  (exc :: Exc.ErrorCall)

然后将 unsafeCleanup 包裹在任何会计算为错误的值上，将其转换为 Maybe。

如果您不想自己编写（并且您不应该——异常代码可能非常棘手，尤其是在存在线程的情况下）。