導入：なぜエラーハンドリングが重要なのか
パーサーを書いているとき、最も頭を悩ませるのが「どこで解析が失敗したのか」という問題です。単に「Parse error」と出すだけでは、利用者は原因を特定できず途方に暮れてしまいます。Megaparsecは、その強力なエラー累積機能により、期待値と実際値の差分を詳細に報告できます。この記事では、ライブラリの機能を活かして、人間にとって親切なエラーメッセージを実装する方法を解説します。
基礎知識：Megaparsecの仕組み
Megaparsecは、内部的に「ソース位置（行数・列数）」をモナドの状態として保持しています。パーサーが失敗すると、その時点の「入力ストリーム」と「期待していたトークン」が記録されます。Megaparsecの優れた点は、複数の枝分かれしたパーサーが失敗した際、それらを統合して「どれか一つが正しければ良かったはずなのに、どれもダメだった」という情報を一度に報告できる点にあります。
実装：カスタムエラーの活用
Megaparsecでは、単なる文字列エラーだけでなく、独自のデータ型を使って詳細なエラーを定義できます。`ParseErrorBundle`を利用することで、ライブラリが自動的に位置情報を付与し、整形された出力を行ってくれます。
サンプルプログラム
以下は、特定のキーワード（”Haskell”）を期待するシンプルなパーサーの例です。失敗時に分かりやすいメッセージが出るよう調整しています。
import Text.Megaparsec
import Text.Megaparsec.Char
import Data.Void
— Voidはエラーの種類をカスタムしない場合の標準設定
type Parser = Parsec Void String
— “Haskell”という文字列を解析するパーサー
parseHaskell :: Parser String
parseHaskell = string “Haskell” “キーワード ‘Haskell'”
— 実行用の関数
runMyParser :: String -> IO ()
runMyParser input =
case parse parseHaskell “” input of
Left err ->
— エラーメッセージを整形して表示
putStrLn $ errorBundlePretty err
Right val ->
putStrLn $ “成功: ” ++ val
main :: IO ()
main = do
— 失敗する入力を与える
runMyParser “Python”
応用・注意点：現場で役立つTIPS
1. 期待値のラベル付け（演算子）
コード内で使用した `` は、パーサーが失敗した際に「何を期待していたか」を書き換える重要な演算子です。これを使うことで、内部的な文字単位の解析結果ではなく、「キーワード ‘Haskell’」のような人間向けの言葉でエラーを表示できます。
2. エラーの統合
複数のパーサーを試す際は、`choice` や `<|>` を使います。Megaparsecは、これらが失敗した際に発生したエラーメッセージを自動的に「マージ」します。開発時は、すべてのパーサーに適切な名前を付けることで、結果的にエラーメッセージの質が劇的に向上します。
3. 陥りやすい罠
あまりに複雑なパーサーを一度に書くと、エラーメッセージが冗長になりすぎることがあります。エラーが分かりにくいと感じたら、パーサーを小さな関数に分割し、それぞれに `` で意味づけを行うのが、メンテナンス性を高める秘訣です。
コメント