導入
プログラム開発において、エラー処理は避けて通れない道です。しかし、標準的な文字列（String）でエラーを表現していると、「どのエラーが発生したのか」を呼び出し側で厳密に判別するのが困難になり、結果として場当たり的な修正を繰り返すことになります。Haskellにおいて「カスタム例外」を定義することは、エラーを「型」として表現し、プログラムの健全性を高めるための極めて重要な技術です。
基礎知識
Haskellには標準でException型クラスが用意されており、これを利用することで独自のデータ型を例外として投げたり、キャッチしたりできます。
ここで重要なのは、Exception型クラスのインスタンスにするためには、その型がShow型クラス（文字列化可能）とTypeable型クラス（実行時に型情報を取得可能）のインスタンスである必要があるという点です。これにより、Haskellの型システムが例外を安全に追跡できるようになります。
実装/解決策
カスタム例外を実装する手順は以下の3ステップです。
1. エラー情報を保持する独自のデータ型を定義する。
2. その型をShowとTypeableのインスタンスにする。
3. その型をException型クラスのインスタンスとして宣言する。
このように実装することで、catch関数を使って、特定の型のエラーだけをピンポイントで補足することが可能になります。
サンプルプログラム
以下のコードは、独自の例外を定義し、それを投げてキャッチする実用的な例です。
import Control.Exception
import Data.Typeable
— 1. 独自の例外型を定義
— 単なる文字列ではなく、エラーの種類ごとにデータ型を分けるのがコツです
data MyCustomError = InvalidInput String | DatabaseError Int
deriving (Show, Typeable)
— 2. Exceptionのインスタンス化
instance Exception MyCustomError
main :: IO ()
main = do
— 例外を投げるテスト
result <- try (throwIO (InvalidInput "入力値が不正です")) :: IO (Either MyCustomError ())
case result of
Left (InvalidInput msg) -> putStrLn $ “エラーをキャッチしました: ” ++ msg
Left (DatabaseError code) -> putStrLn $ “DBエラーが発生しました。コード: ” ++ show code
Right _ -> putStrLn “成功しました”
応用・注意点
カスタム例外を使う最大のメリットは、「型安全なキャッチ」ができることです。例えば、ネットワークエラーとバリデーションエラーを別々の型として定義しておけば、呼び出し側で「ネットワークエラーだけリトライし、バリデーションエラーは即座にユーザーへ通知する」といった複雑なロジックを非常に綺麗に記述できます。
注意点として、例外は「局所的な回復が不可能な異常事態」に対して使うのが原則です。通常のプログラムのフロー制御（値が存在しない可能性がある場合など）には、Maybe型やEither型を使用する方が、Haskellらしい堅牢なコードになります。例外はあくまで「想定外の異常」のために取っておきましょう。
コメント