エラーが発生した場合（Haskell）

Question

modifyIORefの内部でエラーが発生した場合、IORef値を変更しない方法はありますか？

Answer 1

Haskellは、PythonやJavaなどの他の言語と同じようにエラー処理を行いません。 error関数を呼び出すと、プログラムは停止します。期間。エラーは検出されません。それをリダイレクトしたり、プログラムを再起動する方法はありません。 error関数は例外ではなく、エラーを発生させます。ハスケルの失敗のアイデアを表現したい場合は、MaybeとEitherのモナドを使用します。以下は、Eitherモナドを使用して、必要な機能を実装する方法です。

main = do 
    a <- NewIORef (Right 1 :: Either String Int) 
    modifyIORef a (const $ Left "some execution error") 
    -- a now holds a "Left" value, representing an error 
    val <- readIORef a 
    -- val now holds the "Left" value 
    case val of 
    Left err -> putStrLn $ "Error: " ++ err -- prints error (if applicable) 
    Right val -> putStrLn $ "Result: " ++ show val -- prints value (if applicable) 

EDIT： dfeuerは親切に彼のコメントで指摘したように、それはGHCのエラーを傍受する可能です。しかし、非常に特殊な状況を除いて悪い習慣とみなされるので、MaybeおよびEitherタイプを使用することがなお好ましい。

Answer 2

これは、modifyIORef'またはatomicModifyIORef'を例外ハンドラにラップして行うことができます。私は一般的にそれをお勧めしません。 errorコールは、ハンドラの詳細情報ではなく、ユーザが読むための文字列を生成します。また、「純粋な」コードからスローされた例外を処理するための「不正確な例外」メカニズムは、正しく使用するためにはかなりの注意が必要です。ほとんどの場合、純粋なコードから例外をスローすることは絶対に避けてください。 ExceptTとEitherなどが役に立ちます。