1. 導入：なぜExceptTが必要なのか
関数型プログラミングにおいて、エラー処理は非常に重要なトピックです。特に、データベースへのアクセスやファイル操作といった「副作用（IO）」を伴う処理を行う際、エラー発生時に「処理を中断してエラー値を返す」というロジックを綺麗に記述するのは意外と難しいものです。命令型言語のように例外を投げると純粋性が損なわれますし、かといってEvery関数をネストさせるとコードが右側にどんどん寄ってしまう「ピラミッド構造」に陥ります。ExceptTモナド変換子を使えば、これらの課題を解消し、IOなどの強力な副作用を保ったまま、スッキリとしたエラーハンドリングを実現できます。
2. 基礎知識：ExceptTとは何か
ExceptTは、既存のモナドmに対して「エラー処理能力」を付加するモナド変換子です。HaskellのEither型は「成功か失敗か」を表しますが、これ単体ではIOなどの副作用を含めることができません。ExceptTは、内部的に m (Either e a) という構造をラップすることで、モナドの力を保持しつつ、途中で処理を短絡（中断）させる能力を付与します。ここで、eはエラーの型、aは正常時の戻り値の型を指します。
3. 実装と解決策
ExceptTを利用するには、まず「どのモナドにエラー能力を足すか」を決めます。多くの場合、IOモナドの上に重ねて ExceptT e IO a という形にします。
処理の途中でエラーを発生させるには throwError を使用し、IOなどの親モナドの関数（例えば getLine や putStrLn）を実行するには liftIO を使用します。最後に、runExceptT を実行することで、最終的な結果である Either e a を取り出すことができます。
4. サンプルプログラム
以下のコードは、ユーザーから入力を受け取り、空文字ならエラーを返し、そうでないなら結果を表示するプログラムです。
import Control.Monad.Trans.Except
import Control.Monad.IO.Class (liftIO)
-- ユーザー入力を検証する関数
-- ExceptT String IO a という型で、エラー時はString、成功時はIOアクションを返す
processInput :: ExceptT String IO String
processInput = do
liftIO $ putStrLn "何か文字を入力してください:"
input <- liftIO getLine
-- 空文字チェック
if null input
then throwError "エラー: 入力が空です！"
else return $ "入力成功: " ++ input
main :: IO ()
main = do
-- runExceptTでモナド変換子を剥がし、IO (Either String String) を得る
result <- runExceptT processInput
case result of
Left err -> putStrLn err -- エラー時の処理
Right val -> putStrLn val -- 成功時の処理
5. 応用・注意点
現場で活用する際の注意点として、「モナドスタックの順序」が挙げられます。ExceptTをIOの外側に置くか内側に置くかで、挙動が変わる場合があります。基本的には、IOなどの副作用モナドを一番内側にして、それをラップするように変換子を重ねていくのが定石です。
また、複数のモナド変換子（StateTやReaderTなど）を同時に使う場合は、transformersパッケージやmtlライブラリの型クラスをうまく利用することで、liftIOを何度も書く必要がない「モナドスタック」を構築できます。複雑なアプリケーションになるほど、この「エラー処理と副作用の分離」が、バグを減らし保守性を高める鍵となります。
コメント