【Haskell学習｜実務向け】`Either` vs `ExceptT`: 関数型エラー処理の賢い使い分け

導入: エラー処理、どうしていますか？

関数型プログラミングにおいて、エラー処理は避けて通れない重要なテーマです。特に、プログラムの実行中に発生しうる問題をどのように検知し、扱っていくかは、コードの堅牢性や保守性に直結します。皆さんは、エラー処理にどのようなアプローチを取っていますでしょうか？

よく使われる手法として `Either` 型があります。これは、成功時の値と失敗時の値を明確に区別できるため、シンプルで分かりやすいエラー処理を実現します。しかし、プログラムが複雑になり、複数のモジュールや層をまたぐようになると、`Either` だけでは管理が煩雑になることがあります。

そこで本記事では、`Control.Monad.Except` モジュールの `ExceptT` を用いた、より高度で柔軟なエラー処理の方法とその使い分けについて、実務で役立つ知見を交えながら解説します。

基礎知識: `Either` と `ExceptT` の違い

`Either` 型とは？

`Either a b` 型は、左辺 (`Left a`) にエラー値、右辺 (`Right b`) に成功時の値を格納できる代数的データ型です。これは、純粋な関数型プログラミングにおいて、エラーを値として扱うための基本的な構造です。

— Either 型の定義（概念）
— data Either a b = Left a | Right b

`Either` は、計算の「結果」としてエラーを表現するのに適しています。例えば、ある関数が失敗する可能性がある場合、その関数の戻り値として `Either ErrorType SuccessType` を返すことで、呼び出し元は成功か失敗かを明示的にチェックできます。

`ExceptT` とは？

`ExceptT e m a` は、モナディックなコンテキスト `m` の上に、エラー型 `e` を扱う機能を追加する「モナッド変換子 (Monad Transformer)」です。簡単に言うと、`ExceptT` は `m` モナドの計算の中で、エラー `e` を発生させたり、捕捉したりする能力を付与します。

`ExceptT` の計算は、成功した場合は `m (Either e a)` のような形になります。これは、`m` のコンテキスト内で、最終的に `Either e a` の結果が得られることを意味します。

`ExceptT` を使うことで、単なる値のエラーだけでなく、IO 操作や他のモナドとの組み合わせの中で発生するエラーも一元的に管理できるようになります。

実装/解決策: `Either` と `ExceptT` の使い分け

`Either` が適しているケース

純粋な変換ロジック: 副作用（IO など）を伴わない、純粋なデータ変換や計算ロジックの中で、単純なエラー分岐が必要な場合。
API の戻り値: ライブラリやモジュールの公開インターフェースとして、計算の成功/失敗を明確に示したい場合。
限定的なエラー伝播: エラーがその関数スコープ内、または直接の呼び出し元で処理されることが明確な場合。

`ExceptT` が適しているケース

副作用を伴うワークフロー: IO 操作や他のモナディックな処理が混在する、より複雑なアプリケーションロジック。
アプリケーション全体のエラー管理: プログラムの様々な箇所で発生しうるエラーを、一元的に集約・処理したい場合。
エラーの伝播と変換: エラーが発生した際に、それを上位のモナドコンテキストに伝播させつつ、必要に応じてエラー型を変換したり、追加情報を付与したりしたい場合。

境界の見極めが重要

すべての処理を `ExceptT` でラップしてしまうと、本来 `Either` で十分な純粋なロジックに対しても `lift` 操作（基底モナドの操作を `ExceptT` の外に出す操作）が頻繁に必要になり、コードが読みにくくなることがあります。

逆に、複雑なワークフローの中で `Either` を多用すると、モナドのコンビネータ（`>>=` や `fmap` など）との相性が悪く、コードが冗長になりがちです。

コツは、アプリケーションの「境界」を見極めることです。

純粋なロジックの境界: ここでは `Either` を使い、ローカルなエラー処理を行います。
副作用や外部システムとの境界: ここで `ExceptT` を導入し、より広範なエラー伝播や管理を行います。

サンプルプログラム: `Either` と `ExceptT` の比較

ここでは、簡単な例として、数値のパースと、その結果を使った計算を考えます。

例1: `Either` を使った純粋な処理

import Text.Read (readMaybe)

— 文字列を整数にパースする関数
parseInteger :: String -> Either String Int
parseInteger s =
case readMaybe s of
Just n -> Right n
Nothing -> Left $ “Invalid integer format: ” ++ s

— 2つの整数を加算する関数
addIntegers :: Int -> Int -> Int
addIntegers x y = x + y

— パースと加算を組み合わせる関数
parseAndAdd :: String -> String -> Either String Int
parseAndAdd s1 s2 = do
— Either モナドの do-notation を使用
— readMaybe が Nothing を返すと、ここで Left になる
n1 <- parseInteger s1 n2 <- parseInteger s2 -- 両方成功したら加算結果を Right で返す return $ addIntegers n1 n2 -- 実行例 main_either :: IO () main_either = do putStrLn "--- Using Either ---" print $ parseAndAdd "10" "20" -- Right 30 print $ parseAndAdd "abc" "20" -- Left "Invalid integer format: abc" print $ parseAndAdd "10" "xyz" -- Left "Invalid integer format: xyz" この例では、`parseInteger` は `Either String Int` を返します。`parseAndAdd` 関数は、`Either` の `do-notation` を使って、エラーが発生した場合に自動的に左辺 (`Left`) に分岐し、処理を中断します。これは純粋なロジックであり、`Either` で十分です。 例2: `ExceptT` を使った、IO を伴う処理

今度は、ファイルから数値を読み込み、それをパースして加算するシナリオを考えます。ファイル読み込みは IO 操作なので、`IO` モナドが必要です。

import Control.Monad.Except
import System.IO
import Text.Read (readMaybe)

— ファイルから1行読み込む関数 (IO 操作)
readFileLine :: FilePath -> IO String
readFileLine path = do
content <- readFile path -- 実際にはファイルが存在しない場合などのエラーハンドリングも必要ですが、ここでは簡略化 return $ head (lines content) -- 最初の行を取得 -- ExceptT を使って、IO とエラー処理を組み合わせる parseAndAddWithIO :: FilePath -> FilePath -> ExceptT String IO Int
parseAndAddWithIO path1 path2 = do
— lift を使って IO 操作を実行
— ExceptT の do-notation の中で、基底モナド (IO) の操作を行うには lift が必要
content1 <- lift $ readFileLine path1 content2 <- lift $ readFileLine path2 -- 文字列パースは Either を返すので、runExceptT などで剥がすか、 -- ここでは ExceptT に変換する関数を使う -- either を liftIO に変換するヘルパー関数（自作 or ライブラリ）があると便利 n1 <- case parseInteger content1 of Right val -> return val
Left err -> throwError err — ExceptT のエラーを発生させる

n2 <- case parseInteger content2 of Right val -> return val
Left err -> throwError err — ExceptT のエラーを発生させる

return $ addIntegers n1 n2

— ExceptT を実行するためのヘルパー関数
runExceptTWithError :: ExceptT String IO a -> IO (Either String a)
runExceptTWithError action = runExceptT action

— 実行例
main_exceptt :: IO ()
main_exceptt = do
putStrLn “\n— Using ExceptT —”
— ダミーファイルを作成
writeFile “file1.txt” “100\n”
writeFile “file2.txt” “200\n”
writeFile “file_invalid1.txt” “abc\n”
writeFile “file_invalid2.txt” “300\n”

result1 <- runExceptTWithError $ parseAndAddWithIO "file1.txt" "file2.txt" print result1 -- Right (Right 300) result2 <- runExceptTWithError $ parseAndAddWithIO "file_invalid1.txt" "file_invalid2.txt" print result2 -- Right (Left "Invalid integer format: abc") -- ファイルが存在しない場合などの IO エラーは、ExceptT のエラーとしては捕捉されない -- (runExceptT では IO の例外は catch しないため) -- より堅牢にするには、catch などを ExceptT の中で使う必要がある -- 例: liftIO $ catch (readFile path) (\e -> throwError $ show (e :: SomeException))

この例では、`readFileLine` という IO 操作を行うために `lift` を使用しています。また、`parseInteger` が `Either` を返しますが、`ExceptT` のコンテキストでエラーを扱いたいので、`case` 文で `Either` を剥がし、`Left` の場合は `throwError` で `ExceptT` のエラーとして扱っています。

応用・注意点

`lift` の乱用: 前述の通り、すべての処理を `ExceptT` でラップし、`lift` を多用するとコードが読みにくくなります。純粋な処理には `Either` を、IO や他のモナドとの連携部分で `ExceptT` を使う、という使い分けを意識しましょう。
`MonadIO` トレイト: `ExceptT e IO a` のような `IO` ベースの `ExceptT` では、`MonadIO` トレイトを使うことで `liftIO` を利用できます。これは `lift` と似ていますが、`IO` モナドに特化した操作を容易にします。
エラー型の設計: どのようなエラーが発生しうるかを考慮し、適切なエラー型を設計することが重要です。`Either` の左辺や `ExceptT` のエラー型に、具体的なエラー情報を格納できるようなデータ型を用意すると、デバッグやエラーハンドリングが容易になります。
`runExceptT` の役割: `runExceptT` は `ExceptT e m a` を `m (Either e a)` に変換します。`m` が `IO` の場合、`IO (Either e a)` となります。`IO` の例外（ファイルが見つからないなど）は、`runExceptT` では自動的に捕捉されない点に注意が必要です。これらの IO 例外も `ExceptT` で扱いたい場合は、`catch` などの例外処理機構を `ExceptT` の中で `liftIO` を使って適用する必要があります。
`mapError` / `withExcept`: `ExceptT` には、エラー型を変換するための `mapError` や、エラーハンドリングのコンテキストを変更する `withExcept` といった便利な関数もあります。これらを活用することで、エラー処理をより柔軟に行うことができます。

`Either` と `ExceptT` は、それぞれ異なるスコープと役割を持つエラー処理の強力なツールです。これらの違いを理解し、適切な場面で使い分けることで、よりクリーンで堅牢な関数型アプリケーションを構築できるでしょう。