【Haskell学習｜実務向け】Haskellにおけるエラー処理の美学：例外を捨て、型による表現へ

1. 導入: なぜエラー処理の「考え方」を変えるべきか

実務におけるエラー処理といえば、try-catchによる例外捕捉を思い浮かべる方が多いでしょう。しかし、例外はコードの至る所に「隠れた出口」を作り出し、プログラムの予測可能性を著しく下げます。Haskellでは、エラーを「プログラムを止める事故」ではなく、「関数が返しうる一つの値（状態）」として扱います。このアプローチをとることで、呼び出し元はエラーの発生を型レベルで強制的に意識させられ、結果として堅牢でバグの少ないシステムが構築できるのです。

2. 基礎知識: 型の和（Sum Types）による表現

Haskellにおいてエラー処理の基本となるのは、Either型などの「代数的データ型」です。Either a bは、「左（Left）に失敗の原因、右（Right）に成功の結果」を持つ型です。
「例外」は言語の制御フローを強制的に分岐させますが、「型の和」は関数の戻り値の一部として明示されます。つまり、エラー処理が関数のシグネチャ（型定義）に現れるため、開発者は「この関数は失敗しうる」ことをコンパイラを通じて知ることができるのです。

3. 実装/解決策: 失敗を「状態」として組み立てる

実務では、単にEitherを使うだけでなく、モナド変換子やカスタムのエラー型を定義してドメイン固有の失敗を表現します。重要なのは、例外を投げるのではなく、失敗したという「事実」を戻り値として伝播させることです。これにより、プログラムの実行結果を数学的な計算として一貫させることができます。

4. サンプルプログラム: 安全な銀行送金処理の例

以下は、残高不足や口座凍結といった「ドメイン上の失敗」を型で表現し、安全に処理するコード例です。

-- 失敗の種類を定義する（ドメインの正当な状態） data TransferError = InsufficientFunds | AccountFrozen | InvalidAmount deriving (Show)


-- 送金処理の結果をEitherで返す

-- 例外を投げず、成功か失敗の値を「値」として返す

transfer :: Int -> Int -> Either TransferError Int

transfer balance amount

  | amount <= 0          = Left InvalidAmount
  | balance < amount     = Left InsufficientFunds
  | otherwise            = Right (balance - amount)

-- メイン処理：結果に応じて明示的に分岐させる
processTransaction :: Int -> Int -> String

processTransaction balance amount =

  case transfer balance amount of

    Right newBalance -> "送金成功。残高: " ++ show newBalance

    Left err         -> "送金失敗。理由: " ++ show err

-- 実行確認用 main :: IO () main = do putStrLn $ processTransaction 1000 200 -- 成功ケース putStrLn $ processTransaction 100 200 -- 失敗ケース

5. 応用・注意点: 現場で役立つアドバイス

注意点として、Eitherをネストさせすぎると「Either地獄」に陥ることがあります。これを回避するために、実務ではExceptTモナド変換子を使用してエラー処理を隠蔽し、コードの可読性を保つのが定石です。
また、外部ライブラリとの連携で例外が発生する場合は、catchで捕まえてからEither型に変換し、純粋な世界に持ち込む「境界線」を明確にしてください。エラーを「特別な例外」として放置せず、型で管理するドメインへ引き込むことが、Haskellによる美しい設計の第一歩です。