【Haskell学習｜初心者向け】Haskellのエラー処理：Checked Exceptionを超えた「Either」の活用術

1. 導入：なぜエラー処理を「型」で考えるのか

プログラミングにおいて、エラー処理は避けて通れない道です。Javaなどの言語には「Checked Exception（検査例外）」があり、メソッドで発生しうる例外を明示的に宣言する仕組みがあります。しかし、これには「例外を処理するコードで埋め尽くされる」という悩みもつきものです。Haskellでは、エラーを「例外」として扱うのではなく、「計算結果の一つ」として型システムに組み込みます。これにより、エラーを無視することができず、かつ安全に次の処理へとつなぐことができるようになります。

2. 基礎知識：Either型とは何か

Haskellには、成功と失敗を表現するための Either型 という仕組みがあります。これは、「左側（Left）」と「右側（Right）」のどちらか一方の値を持つデータ型です。慣習として、Leftにはエラー情報を、Rightには成功した結果を格納します。
「計算した結果、成功したのか、それともエラーが起きたのか」を型として定義することで、コンパイラが「エラーが発生した場合の処理を忘れていないか？」をチェックしてくれるようになります。

3. 実装：エラーを「扱わなければ進めない」仕組み

JavaのChecked Exceptionが「エラーを処理することを強制するルール」であるのに対し、HaskellのEitherは「エラーを処理しないと、正しい結果を取り出せない構造」になっています。
例えば、数値の割り算を行う場合、0での除算は失敗します。このとき、Eitherを使って「成功なら数値、失敗ならエラーメッセージ」を返す関数を定義します。この結果に対して処理を行う際は、必ず「成功した場合」と「失敗した場合」の両方を記述しなければならないため、実行時の予期せぬクラッシュを大幅に減らすことができます。

4. サンプルプログラム

以下のコードは、0除算を安全に処理する例です。まずはこのまま実行して、Eitherの動作を確認してみてください。

-- 割り算を行う関数。成功ならRight、失敗ならLeftを返す safeDivide :: Double -> Double -> Either String Double safeDivide _ 0 = Left "エラー: 0で割ることはできません" safeDivide x y = Right (x / y)


-- 結果を使ってさらに計算する関数

processCalculation :: Double -> Double -> String

processCalculation x y =

    case safeDivide x y of

        -- 失敗した場合（Left）の処理

        Left err -> "計算失敗: " ++ err

        -- 成功した場合（Right）の処理

        Right val -> "計算成功: 結果は " ++ show (val  10)

main :: IO () main = do putStrLn (processCalculation 10 2) -- 成功ケース putStrLn (processCalculation 10 0) -- 失敗ケース

5. 応用・注意点：現場での活用

現場でEitherを活用する際は、do記法と組み合わせることで、エラー処理のネストを解消し、非常に読みやすいコードを書くことができます。ただし、何でもかんでもEitherで表現しようとすると、Left側のエラー型が複雑になりすぎることがあります。
実務では、独自のエラー型（データ型）を定義して、どのようなエラーが起こりうるのかを明確にすることをお勧めします。また、単純な失敗だけでなく、途中で複数の処理が連鎖する場合などは「Monad（モナド）」の概念を学ぶと、さらにエレガントなエラー処理が可能になります。
「エラーを例外として隠す」のではなく、「値として直視する」。これがHaskell流の安全なプログラミングの第一歩です。