エラー関数の呼び出しを捕捉（無視）する方法は？

Question

私はどこにでもこの回答を見つけることができなかったのに驚いています。

私はroguelikeを書いていますが、ncursesライブラリのかなり良いラッパーであるhackageのncursesライブラリを使用しています。今、ncursesには、右下の文字を書き込もうとすると、その文字を次の文字に移動しようとすると、どこにも移動しないため、失敗します。無視できるエラー値を返します。

私の問題は、haskell ncursesライブラリライターは、すべての呼び出しでエラーを忠実にチェックし、1つがある場合、エラー "drawText：etcなど"を呼び出します。

これを回避するために、cやpythonのような他の言語では、エラーを無視したり、例外を無視したりすることが強制されますが、私の人生にとっては、それをどうやってhaskellで行うのか分かりません。エラー機能は回復できませんか？

ライブラリをローカルに変更して、その機能のエラーをチェックしないようにしますが、それは嫌です。私はカーソルを動かさずに最後の文字を描くことができる任意の回避策にもオープンしていますが、それは可能だとは思いません。

Answer 1

errorは、無限ループとして観察可能であると想定される。 errorはIOにしかキャッチできません。これは、「あなたが魔法を知っていればえええええええええええええええええええええええええええええええええええええええ。しかし、純粋なコードである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) 

その後Maybeにそれを回すためにエラーに評価する任意の値の周りunsafeCleanupを包みます。

Answer 2

catchからControl.Exceptionを使用してこれを行うことができます。ただし、これを行うにはIOモナドに入る必要があります。

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!"