1. 導入: なぜこの知識が重要なのか
Haskellを学習し始めると、古い書籍やネット上のチュートリアルで「Error型クラス」に出会うことがあります。しかし、これは現在では非推奨となっています。なぜなら、古い手法はエラー内容をString型（文字列）に固定せざるを得ず、プログラムが大きくなるにつれて「どんなエラーが発生したのか」を型システムで厳密に判別するのが困難になるからです。本稿では、現代の標準である「ExceptT」を使うことで、どのように柔軟で堅牢なエラー処理を実現するかを解説します。
2. 基礎知識: ExceptTとは何か
「モナドトランスフォーマー」という言葉を耳にしたことがあるかもしれません。ExceptTは、通常の計算（モナド）に「失敗する可能性がある」という性質を付け加えるためのモナドトランスフォーマーです。
以前のErrorクラスは、エラー情報を文字列として保持することしかできませんでしたが、ExceptTを使えば、独自に定義したデータ型（例えば、ネットワークエラー、データベースエラーなど）をそのままエラー値として運ぶことができます。これにより、呼び出し側でエラーの種類に応じた適切なリカバリー処理を型安全に行えるようになります。
3. 実装/解決策: ExceptTへの移行
ExceptTを利用する際は、以下のステップで実装します。
1. エラーを表すデータ型を定義する。
2. 処理の中で「throwError」を使ってエラーを投げる。
3. 「runExceptT」を使って、最後に計算結果をEither型（成功か失敗か）として取り出す。
4. サンプルプログラム
以下のコードは、数値を割り算する簡単なプログラムです。エラーを文字列ではなく、独自のデータ型として定義しています。
-- 必要なモジュールをインポート
import Control.Monad.Except
-- 1. エラーを表す独自データ型を定義
data MyError = DivisionByZero | NegativeNumber deriving Show
-- 2. ExceptTを使った計算処理
-- MyError型のエラーを返し、IOモジュールの上で動作する関数
divide :: Int -> Int -> ExceptT MyError IO Int
divide _ 0 = throwError DivisionByZero -- ゼロ除算エラー
divide x _ | x < 0 = throwError NegativeNumber -- 負の数エラー
divide x y = return (x `div` y)
-- 実行用のメイン関数
main :: IO ()
main = do
-- runExceptTで計算を実行し、Eitherで結果を受け取る
result <- runExceptT (divide 10 2)
case result of
Left err -> putStrLn $ "エラーが発生しました: " ++ show err
Right val -> putStrLn $ "計算結果は: " ++ show val
5. 応用・注意点: 現場でのTips
現場でExceptTを使う際に最も重要なのは、「エラー型を細かく定義しすぎないこと」と「逆に大雑把にしすぎないこと」のバランスです。
また、頻出するバグとして「モナドの層の深さ」があります。ExceptTを他のモナドトランスフォーマー（StateTやReaderTなど）と重ねる場合、その順序によって挙動が変わることがあります。基本的には `ExceptT MyError (ReaderT Config IO) a` のように、ExceptTを一番外側に置くのが最も扱いやすくおすすめです。古い教材を見て「Errorクラスが見当たらない」と困惑した時は、迷わずこのExceptTを選択してください。
コメント