1. 導入：なぜ例外の階層化が必要なのか
プログラムを書いていると、ネットワーク関連のエラーやデータベースのエラーなど、複数の例外を扱う場面が出てきます。もし、これらを一つずつ別々にキャッチしていたら、コードはすぐに複雑になってしまいます。
今回紹介する「例外の階層化」というテクニックを使えば、関連するエラーを「グループ」としてまとめて扱えるようになります。これにより、エラー処理の記述が劇的にシンプルになり、保守性の高いコードを書くことができます。
2. 基礎知識：Exception型クラスと階層の仕組み
Haskellでは、例外はすべて「Exception」という型クラスのインスタンスである必要があります。通常、独自の例外を作る際は「Exception」を導出（deriving）しますが、これだけでは単なる個別の例外に過ぎません。
ここで「toException」と「fromException」というメソッドを自分で定義することで、例外同士に親子関係を持たせることができます。これにより、親となる例外をキャッチすれば、その子である例外もまとめて捕まえることが可能になります。
3. 実装：親子関係をシミュレートする手順
実装の基本は、親例外（例：NetworkError）を定義し、個別のエラー（例：TimeoutError, ConnectionRefused）が、その親を通じてキャッチされるように変換処理を記述することです。
具体的には、子例外の「fromException」内で親例外への変換を試みるロジックを組み込むことで、階層構造をシミュレートします。
4. サンプルプログラム：NetworkErrorの階層化
以下のコードをコピーして、コンパイル・実行してみてください。
import Control.Exception
import Type.Reflection
import Data.Typeable
— 1. 親となる例外の定義
data NetworkError = NetworkError String deriving (Show, Typeable)
instance Exception NetworkError
— 2. 子となる例外（タイムアウト）の定義
data TimeoutError = TimeoutError deriving (Show, Typeable)
— 3. 子例外に「親としての振る舞い」を教える
instance Exception TimeoutError where
— 子例外が発生したとき、親例外としても扱えるように変換する
toException = toException . NetworkError . show
— キャッチ時に親例外から子例外へ戻せるようにする
fromException e = do
NetworkError _ <- fromException e
cast e
-- 実行例
main :: IO ()
main = do
-- タイムアウトを発生させて、親であるNetworkErrorとしてキャッチする
handle (\(NetworkError msg) -> putStrLn $ “キャッチしました: ” ++ msg) $ do
throwIO TimeoutError
5. 応用・注意点：現場での活用と落とし穴
この手法の最大の利点は、ライブラリの利用者が「詳細なエラーを個別にキャッチするか、それとも大きな括りでエラーをキャッチするか」を選べる点にあります。
注意点として、あまりに複雑な階層を作ると、逆にどの例外がどこでキャッチされるのかが追いづらくなります。例外の階層は、システム内の「意味のあるカテゴリ（通信系、ファイル系、認証系など）」に留めておくのが、現場で混乱を避けるコツです。また、必ず「Typeable」を継承させることを忘れないようにしてください。これを怠ると、実行時に型情報の解決ができず、エラーキャッチが失敗してしまいます。
コメント