【Haskell学習｜実務向け】【関数型Tips】Either型で実現する「意味のある」エラーハンドリング

1. 導入: なぜEither型が重要なのか

実務でプログラムを書いていると、処理が失敗した際に「単に失敗した」という事実だけでなく、「なぜ失敗したのか」という原因を呼び出し元に伝えたい場面が多々あります。Maybe型では失敗をNoneとして表現しますが、これではエラーの理由が欠落してしまいます。Either型を導入することで、例外を投げずに型システムの中で「成功か、あるいは失敗の理由か」を明示的に扱うことができ、堅牢でデバッグしやすいコードを構築できるようになります。

2. 基礎知識: Either型の仕組み

Either型は、以下の2つの状態を持つ「和型（直和型）」です。
・Right a: 処理が成功した際の値を保持します。「Right（正しい）」という名前の通り、正常系を表します。
・Left e: 処理が失敗した際の情報を保持します。「Left（左）」は、慣習的に異常系やエラー内容を記述するために使用されます。

関数型言語では、この2つを判別しながら処理をチェーンさせていくことで、if文のネストを排除したクリーンなパイプライン処理を実現します。

3. 実装/解決策: 異常系を型で管理する

実装のポイントは、エラーを例外としてキャッチするのではなく、関数の戻り値として「持ち回る」ことにあります。これにより、コンパイラが「エラーが発生した場合の処理」を書き忘れていないかチェックしてくれるようになります。

4. サンプルプログラム: 安全な除算処理の実装

以下は、Haskellを想定したEither型の実装例です。ゼロ除算をLeftで捕捉し、成功時にはRightで結果を返します。

-- 除算を行う関数。ゼロ除算の場合はエラーメッセージを返す safeDiv :: Int -> Int -> Either String Int safeDiv _ 0 = Left "エラー: 0で割ることはできません" safeDiv x y = Right (x `div` y)


-- 結果を処理する関数

processDivision :: Int -> Int -> String

processDivision x y =

    case safeDiv x y of

        -- 成功時: 値を取り出して表示

        Right result -> "計算成功: 結果は " ++ show result

        -- 失敗時: エラー内容を表示

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

-- 使用例: -- processDivision 10 2 => "計算成功: 結果は 5" -- processDivision 10 0 => "計算失敗: エラー: 0で割ることはできません"

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

実務でEither型を扱う際は、以下の点に注意してください。

・モナドを活用する: 複数のEitherを連鎖させる場合、手動でcase文を書くとコードが肥大化します。モナドのbind操作（ >>= ）を利用して、成功時のみ処理を継続するパイプラインを構築しましょう。
・Leftの内容を定義する: 単なるStringではなく、エラーコードや独自定義したデータ型をLeftに入れることで、呼び出し元でのエラーハンドリング（リトライが必要か、即座に終了すべきか等）がより詳細に制御可能になります。
・過度な利用の回避: すべての例外をEitherに変換する必要はありません。外部リソース（DBやネットワーク）との通信など、本来的に予期せぬ失敗が起こりうる箇所に限定して使用するのが、コードの可読性を保つコツです。